Whole-known-network
* threatens 100% tarrifs on semiconductors from *Taiwan*
* rips up the CHIPS act
good lord you'd think some of the tech CEOs orbiting this idiot would scream in his ear "what the fuck are you doing?!"
<p>NTSYNC for Proton / Wine now in Linux kernel 6.14 that "Should make many SteamOS users happy" <a href="https://www.gamingonlinux.com/2025/01/ntsync-for-proton-wine-now-in-linux-kernel-6-14-that-should-make-many-steamos-users-happy/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2025/01/ntsy</span><span class="invisible">nc-for-proton-wine-now-in-linux-kernel-6-14-that-should-make-many-steamos-users-happy/</span></a></p><p><a href="https://mastodon.social/tags/NTSYNC" class="mention hashtag" rel="tag">#<span>NTSYNC</span></a> <a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="tag">#<span>Linux</span></a> <a href="https://mastodon.social/tags/Proton" class="mention hashtag" rel="tag">#<span>Proton</span></a> <a href="https://mastodon.social/tags/SteamOS" class="mention hashtag" rel="tag">#<span>SteamOS</span></a> <a href="https://mastodon.social/tags/SteamDeck" class="mention hashtag" rel="tag">#<span>SteamDeck</span></a></p>
<p>Our website was unavailable for a couple of minutes thanks to an AI crawler with ridiculous scanning. </p><p>It didn’t even stop when the server itself stopped responding. </p><p>Thank you very, very much.</p>
<p>Learn Godot with the latest Humble Bundle: <a href="https://humblebundleinc.sjv.io/c/5772989/2059850/25796?u=https://www.humblebundle.com/software/complete-godot-2025-course-bundle-software" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">humblebundleinc.sjv.io/c/57729</span><span class="invisible">89/2059850/25796?u=https://www.humblebundle.com/software/complete-godot-2025-course-bundle-software</span></a> (partner link)</p><p><a href="https://mastodon.social/tags/Godot" class="mention hashtag" rel="tag">#<span>Godot</span></a> <a href="https://mastodon.social/tags/GameDev" class="mention hashtag" rel="tag">#<span>GameDev</span></a></p>
<p><span class="h-card" translate="no"><a href="https://kamu.social/@korpiq" class="u-url mention">@<span>korpiq</span></a></span> yes!</p>
<p><span class="h-card" translate="no"><a href="https://mathstodon.xyz/@gigapixel" class="u-url mention">@<span>gigapixel</span></a></span> I did read that document and I found it to not really advance my understanding of the topic</p><p>re Lean, I've actually been learning Lean but it won't help me automatically verify compiler optimizations by lowering before/after netlists to it</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> i don’t really know anything about SMT-LIB but do know something about formal (and first order specifically) logic but this documentation has a long section on quantifiers: <a href="https://www.philipzucker.com/z3-rise4fun/guide.html" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">philipzucker.com/z3-rise4fun/g</span><span class="invisible">uide.html</span></a></p><p>Then it’s much heavier than an SMT solver but <a href="https://mathstodon.xyz/tags/lean4" class="mention hashtag" rel="tag">#<span>lean4</span></a> is really powerful with good documentation on using quantifiers. I really like it. But it has a heavy emphasis on using tooling and I’m the kind of person who likes rustfmt. <a href="https://lean-lang.org/theorem_proving_in_lean4/introduction.html" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">lean-lang.org/theorem_proving_</span><span class="invisible">in_lean4/introduction.html</span></a></p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> fix(correctness): added and removed</p>
<p><span class="h-card" translate="no"><a href="https://meow.social/@Hemera" class="u-url mention">@<span>Hemera</span></a></span> <span class="h-card" translate="no"><a href="https://blobfox.coffee/@NULLderef" class="u-url mention">@<span>NULLderef</span></a></span> in general? formatting of the code is an important medium for expressivity and using rustfmt completely kills it</p><p>if it gets bad enough I just choose to not write whatever it is I was going to</p>