<p>The Steam Deck Stars Bundle on Steam has some top Deck Verified games for cheap <a href="https://www.gamingonlinux.com/2024/12/the-steam-deck-stars-bundle-on-steam-has-some-top-deck-verified-games-for-cheap/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2024/12/the-</span><span class="invisible">steam-deck-stars-bundle-on-steam-has-some-top-deck-verified-games-for-cheap/</span></a></p><p><a href="https://mastodon.social/tags/SteamDeck" class="mention hashtag" rel="tag">#<span>SteamDeck</span></a> <a href="https://mastodon.social/tags/LinuxGaming" class="mention hashtag" rel="tag">#<span>LinuxGaming</span></a> <a href="https://mastodon.social/tags/PCGaming" class="mention hashtag" rel="tag">#<span>PCGaming</span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> So Kiki&#39;s Delivery Service but with more UF aesthetic?</p>

<p>Crescent County is an open-world &quot;witch-tech&quot; delivery life-sim where you travel around on a motorised broom <a href="https://www.gamingonlinux.com/2024/12/crescent-county-is-an-open-world-witch-tech-delivery-life-sim-where-you-travel-around-on-a-motorised-broom/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2024/12/cres</span><span class="invisible">cent-county-is-an-open-world-witch-tech-delivery-life-sim-where-you-travel-around-on-a-motorised-broom/</span></a></p><p><a href="https://mastodon.social/tags/CrescentCounty" class="mention hashtag" rel="tag">#<span>CrescentCounty</span></a> <a href="https://mastodon.social/tags/IndieGames" class="mention hashtag" rel="tag">#<span>IndieGames</span></a> <a href="https://mastodon.social/tags/LinuxGaming" class="mention hashtag" rel="tag">#<span>LinuxGaming</span></a> <a href="https://mastodon.social/tags/SteamDeck" class="mention hashtag" rel="tag">#<span>SteamDeck</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> awesome!!</p>

<p>Tempest Rising looks awesome and this RTS is launching in April 2025 <a href="https://www.gamingonlinux.com/2024/12/tempest-rising-looks-awesome-and-this-rts-is-launching-in-april-2025/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2024/12/temp</span><span class="invisible">est-rising-looks-awesome-and-this-rts-is-launching-in-april-2025/</span></a></p><p><a href="https://mastodon.social/tags/TempestRising" class="mention hashtag" rel="tag">#<span>TempestRising</span></a> <a href="https://mastodon.social/tags/RTS" class="mention hashtag" rel="tag">#<span>RTS</span></a> <a href="https://mastodon.social/tags/Gaming" class="mention hashtag" rel="tag">#<span>Gaming</span></a> <a href="https://mastodon.social/tags/LinuxGaming" class="mention hashtag" rel="tag">#<span>LinuxGaming</span></a> <a href="https://mastodon.social/tags/PCGaming" class="mention hashtag" rel="tag">#<span>PCGaming</span></a></p>

<p><span class="h-card" translate="no"><a href="https://infosec.exchange/@dascandy" class="u-url mention">@<span>dascandy</span></a></span> why is it a problem?</p>

<p>i didn&#39;t feel like using my brain so i wrote a testbench for the CPU asserting what it should output, and then let angelic execution give me the answer by way of an SMT solver (yices2 in this case)</p><p><a href="https://gist.github.com/whitequark/7e2f90576d6c811d727d6f7edaba5746" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">gist.github.com/whitequark/7e2</span><span class="invisible">f90576d6c811d727d6f7edaba5746</span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> <span class="h-card" translate="no"><a href="https://discuss.systems/@steve" class="u-url mention">@<span>steve</span></a></span> i shoved the entire thing into an SMT solver and let angelic execution do the trick</p>

<p><span class="h-card" translate="no"><a href="https://discuss.systems/@steve" class="u-url mention">@<span>steve</span></a></span> yeah his brute forcer was getting nowhere and I told him, &quot;look it&#39;s just consuming A, three bits at a time&quot; so hopefully he&#39;ll get there!</p>