<p>Fedora Asahi Remix 41 brings AAA gaming to Apple Silicon with Linux <a href="https://www.gamingonlinux.com/2024/12/fedora-asahi-remix-41-brings-aaa-gaming-to-apple-silicon-with-linux/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2024/12/fedo</span><span class="invisible">ra-asahi-remix-41-brings-aaa-gaming-to-apple-silicon-with-linux/</span></a></p><p><a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="tag">#<span>Linux</span></a> <a href="https://mastodon.social/tags/Apple" class="mention hashtag" rel="tag">#<span>Apple</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/@regehr" class="u-url mention">@<span>regehr</span></a></span> &#39;simply search the entire solution space&#39; keeps winning</p>

No, it's not called "looking at the circuit board", it's called "manual optical inspection".

<p><span class="h-card" translate="no"><a href="https://not.acu.lt/@ignaloidas" class="u-url mention">@<span>ignaloidas</span></a></span> it was the default in yosys-smtbmc</p>

@whitequark@mastodon.social any reason for yices2 as a SMT solver of choice?

<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>