<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> It&#39;s Python, isn&#39;t it?</p>

<p><span class="h-card" translate="no"><a href="https://infosec.exchange/@arnaugamez" class="u-url mention">@<span>arnaugamez</span></a></span> not enough experience to say</p><p>Z3 commits crimes, with one of the biggest ones is the pervasive use of semantically unforgivable operator overloading and silent truncation in the Python interface</p><p>`a &gt;&gt; b` you might think this works the same for bit vectors as it does for Python integers, but Z3 uses arithmetic right shift for it. guess who just lost like 8 hours to this?</p>

<p>The slide rule&#39;s refraction adjustment is now temperature compensated.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> opinions on cvc5? Others?</p>

<p>separately from that, Z3 is bad software</p>

<p>hot take: SMT-LIB is designed by incompetent people for the sole purpose of having a dick measuring contest</p><p>for any real purpose it&#39;s unusable. anyone who is seriously using SMT-LIB has to build at least two wrappers around it, sometimes more, to make it baseline usable</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> &quot;NVIDIA Smooth Motion is a new driver-based AI model that delivers smoother gameplay by inferring an additional frame between two rendered frames. For games without DLSS Frame Generation, NVIDIA Smooth Motion is a new option for enhancing your experience on GeForce RTX 50 Series GPUs.&quot;</p><p>Wait, so is this basically AMD Fluid Motion Frames / Frame Generation but actually available on Linux!?</p>

<p>NVIDIA 575.51.02 Beta driver brings NVIDIA Smooth Motion support to Linux, GeForce RTX 5060 series announced <a href="https://www.gamingonlinux.com/2025/04/nvidia-575-51-02-beta-driver-brings-nvidia-smooth-motion-support-to-linux-geforce-rtx-5060-series-announced/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2025/04/nvid</span><span class="invisible">ia-575-51-02-beta-driver-brings-nvidia-smooth-motion-support-to-linux-geforce-rtx-5060-series-announced/</span></a></p><p><a href="https://mastodon.social/tags/NVIDIA" class="mention hashtag" rel="tag">#<span>NVIDIA</span></a> <a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="tag">#<span>Linux</span></a> <a href="https://mastodon.social/tags/GeForce" class="mention hashtag" rel="tag">#<span>GeForce</span></a> <a href="https://mastodon.social/tags/PCGaming" class="mention hashtag" rel="tag">#<span>PCGaming</span></a> <a href="https://mastodon.social/tags/LinuxGaming" class="mention hashtag" rel="tag">#<span>LinuxGaming</span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> As a former CS student, I get what you&#39;re saying, but I also know that would just have given me bad ideas.</p><p>I think the standard curriculum is quite good at illustrating the downsides of excessive complexity. I see it as more of a social issue: Programmers adding frills to show others that they are Very Smart. Wait … is that exactly what you&#39;re talking about? I would have benefited a lot from a course like that.</p>