eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Server stats:

223
active users

#smt

0 posts0 participants0 posts today
Benjamin Carr, Ph.D. 👨🏻‍💻🧬<p><a href="https://hachyderm.io/tags/Intel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Intel</span></a> <a href="https://hachyderm.io/tags/Xeon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Xeon</span></a> 6300 vs. <a href="https://hachyderm.io/tags/AMD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AMD</span></a> <a href="https://hachyderm.io/tags/EPYC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EPYC</span></a> 4005 <a href="https://hachyderm.io/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a>#/HT Performance Review<br>At the same core counts, <a href="https://hachyderm.io/tags/Zen5" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Zen5</span></a> based <a href="https://hachyderm.io/tags/EPYC4005" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EPYC4005</span></a> series was showing great benefit out of SMT than the flagship <a href="https://hachyderm.io/tags/Xeon6300" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Xeon6300</span></a><br>Also fascinating to see was that AMD EPYC 4345P even with SMT disabled was still faster than the Xeon 6369P with its full load-out thanks to the EPYC Grado <a href="https://hachyderm.io/tags/CPU" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CPU</span></a> supporting AVX-512 and other advantages over the Xeon 6300 series that in turn is largely rehashed from the Xeon <a href="https://hachyderm.io/tags/E2400" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>E2400</span></a> series.<br><a href="https://www.phoronix.com/review/intel-xeon-6300-amd-epyc-4005-smt" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">phoronix.com/review/intel-xeon</span><span class="invisible">-6300-amd-epyc-4005-smt</span></a></p>
Deutschland<p><a href="https://www.europesays.com/de/130193/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/de/130193/</span><span class="invisible"></span></a> NIVELCO steigert SMT-Durchsatz mit Bestückungsmaschinen von FUJI, FUJI EUROPE CORPORATION GmbH, Story <a href="https://pubeurope.com/tags/aimex" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>aimex</span></a> <a href="https://pubeurope.com/tags/AktuelleNachrichten" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AktuelleNachrichten</span></a> <a href="https://pubeurope.com/tags/AktuelleNews" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AktuelleNews</span></a> <a href="https://pubeurope.com/tags/best%C3%BCckungsmaschine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bestückungsmaschine</span></a> <a href="https://pubeurope.com/tags/Chemie" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Chemie</span></a> <a href="https://pubeurope.com/tags/control" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>control</span></a> <a href="https://pubeurope.com/tags/corporation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>corporation</span></a> <a href="https://pubeurope.com/tags/EU" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EU</span></a> <a href="https://pubeurope.com/tags/Europa" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Europa</span></a> <a href="https://pubeurope.com/tags/Europ%C3%A4ischeUnion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EuropäischeUnion</span></a> <a href="https://pubeurope.com/tags/Europe" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Europe</span></a> <a href="https://pubeurope.com/tags/EuropeanUnion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>EuropeanUnion</span></a> <a href="https://pubeurope.com/tags/feeder" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>feeder</span></a> <a href="https://pubeurope.com/tags/fuji" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fuji</span></a> <a href="https://pubeurope.com/tags/Headlines" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Headlines</span></a> <a href="https://pubeurope.com/tags/iiic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>iiic</span></a> <a href="https://pubeurope.com/tags/Maschine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Maschine</span></a> <a href="https://pubeurope.com/tags/Maschinen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Maschinen</span></a> <a href="https://pubeurope.com/tags/Nachrichten" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Nachrichten</span></a> <a href="https://pubeurope.com/tags/News" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>News</span></a> <a href="https://pubeurope.com/tags/process" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>process</span></a> <a href="https://pubeurope.com/tags/production" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>production</span></a> <a href="https://pubeurope.com/tags/Schlagzeilen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Schlagzeilen</span></a> <a href="https://pubeurope.com/tags/smt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>smt</span></a> <a href="https://pubeurope.com/tags/Unternehmen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Unternehmen</span></a></p>
José A. Alonso<p>Readings shared April 19, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/04/19-readings_shared_04-19-25" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/04/19-readings_shared_04-19-25</span></a> <a href="https://mathstodon.xyz/tags/Algorithms" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Algorithms</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Python</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Z3</span></a></p>
José A. Alonso<p>Stronger SMT solvers for proof assistants (Proofs, quantifier simplification, strategy schedules). ~ Hans-Jörg Schurr. <a href="https://schurr.io/pubs/phd-thesis.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">schurr.io/pubs/phd-thesis.pdf</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a></p>
José A. Alonso<p>A hundred pull requests for Liquid Haskell. ~ Facundo Domínguez. <a href="https://www.tweag.io/blog/2025-03-20-lh-release/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">tweag.io/blog/2025-03-20-lh-re</span><span class="invisible">lease/</span></a> <a href="https://mathstodon.xyz/tags/Liquid" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Liquid</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a></p>
José A. Alonso<p>Logic.py: Bridging the gap between LLMs and constraint solvers. ~ Pascal Kesseli, Peter O'Hearn, Ricardo Silveira Cabral. <a href="https://arxiv.org/abs/2502.15776" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2502.15776</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/SAT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SAT</span></a> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a></p>
Ruth / Anarchae<p>I kind of thought <a href="https://mstdn.games/tags/SMTVV" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMTVV</span></a> would be the last <a href="https://mstdn.games/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a> we would see for a while, but sounds like we might get an announcement for SMTVI in the new year? </p><p><a href="https://www.gematsu.com/2024/12/japanese-game-creators-discuss-2025-ambitions" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">gematsu.com/2024/12/japanese-g</span><span class="invisible">ame-creators-discuss-2025-ambitions</span></a></p>
Who ordered that?<p>What's the coolest thing you've ever done with an <a href="https://chaos.social/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a> solver?</p><p>:BoostOK:</p>
TerquitelDes<p><a href="https://xarxa.cloud/tags/introduction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>introduction</span></a> <br>Entusiasta de los juegos de rol y los videojuegos.<br>Ahora estoy en mi arco de personaje de jugar y hablar mucho de la saga SMT y de Jojos. Ya lo siento, pero juro que tengo buen gusto.</p><p>Videogames and Roleplaying enthusiast.<br>My current character arc is play and talk a lot of SMT and Jojos. I really sorry, but I swear I have good taste.</p><p><a href="https://xarxa.cloud/tags/SMT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SMT</span></a> <br><a href="https://xarxa.cloud/tags/ShinMegamiTensei" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ShinMegamiTensei</span></a><br><a href="https://xarxa.cloud/tags/videogames" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>videogames</span></a><br><a href="https://xarxa.cloud/tags/roleplay" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>roleplay</span></a><br><a href="https://xarxa.cloud/tags/espa%C3%B1ol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>español</span></a><br><a href="https://xarxa.cloud/tags/jojos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>jojos</span></a></p>