<p>Stress-testing and hardware monitoring tool OCCT has officially released for Linux <a href="https://www.gamingonlinux.com/2025/04/stress-testing-and-hardware-monitoring-tool-occt-has-officially-released-for-linux/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2025/04/stre</span><span class="invisible">ss-testing-and-hardware-monitoring-tool-occt-has-officially-released-for-linux/</span></a></p><p><a href="https://mastodon.social/tags/OCCT" class="mention hashtag" rel="tag">#<span>OCCT</span></a> <a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="tag">#<span>Linux</span></a></p>

<p><span class="h-card" translate="no"><a href="https://s.thenautilus.net/@dakkar" class="u-url mention">@<span>dakkar</span></a></span> since childhood :)</p>

<p>Meanwhile, I&#39;m working on the Ray Tracer project which is one of the first Rust things I coded about 8 years ago. It&#39;s interesting coming back to that after the Crafting Interpreters journey. Let&#39;s just say that it&#39;s significantly easier this time around.</p>

@sandmouth@types.pl @whitequark@mastodon.social it's not that SMTLIB doesn't solve problems, but it's that it doesn't really give a good interface for many of them. A lot of the time you don't truly need the whole SMT thing to achieve good results. There are certainly things where there is enough overlap between different types of problems where SMT starts to really make sense, but without that, I think it's way better to go and use the more specialized tools, because for many, the interface is simpler and way more thought out and the performance is better.

@sushee@fosstodon.org good taste!

<p>my mental health strategy this week: buying 1kg top quality italian amarena cherries 🍒🍒🍒</p>

<p>Palantir are directly supplying the technology to locate and deport Americans.</p><p>They’ve given their staff an FAQ for talking to their family, with talking points for questions like “Can it be right to support a customer [ICE] who you think is wrong?” </p><p><a href="https://www.404media.co/leaked-palantirs-plan-to-help-ice-deport-people/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">404media.co/leaked-palantirs-p</span><span class="invisible">lan-to-help-ice-deport-people/</span></a></p>

<p>About a year ago, I started putting together a course to work through the first part of Crafting Interpreters in Rust. Having now done that a few times, I feel like my Rust skills have improved a LOT and I&#39;m rather enjoying it. </p><p>I got to thinking about how to take it further. Then a little voice said &quot;why not just teach everything in Rust all summer?&quot; Yeah. So, I&#39;m doing that. </p><p><a href="https://dabeaz.com/summer.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">dabeaz.com/summer.html</span><span class="invisible"></span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>whitequark</span></a></span> Linux devices are always really distressed, tbh.</p>