<p>Moonsigil Atlas is a deckbuilding roguelike with tile-based energy that&#39;s Tetris meets Slay The Spire <a href="https://www.gamingonlinux.com/2025/04/moonsigil-atlas-is-a-deckbuilding-roguelike-with-tile-based-energy-thats-tetris-meets-slay-the-spire/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2025/04/moon</span><span class="invisible">sigil-atlas-is-a-deckbuilding-roguelike-with-tile-based-energy-thats-tetris-meets-slay-the-spire/</span></a></p><p><a href="https://mastodon.social/tags/MoonsigilAtlas" class="mention hashtag" rel="tag">#<span>MoonsigilAtlas</span></a> <a href="https://mastodon.social/tags/IndieGame" class="mention hashtag" rel="tag">#<span>IndieGame</span></a> <a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="tag">#<span>Linux</span></a> <a href="https://mastodon.social/tags/PCGaming" class="mention hashtag" rel="tag">#<span>PCGaming</span></a> <a href="https://mastodon.social/tags/Gaming" class="mention hashtag" rel="tag">#<span>Gaming</span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.scot/@rasteri" class="u-url mention">@<span>rasteri</span></a></span> <span class="h-card" translate="no"><a href="https://infosec.exchange/@arnaugamez" class="u-url mention">@<span>arnaugamez</span></a></span> you can do it in a reasonable manner; Amaranth for example overloads Python operators _and gives them Python semantics_</p><p>Z3 does not do it in a reasonable manner</p>

<p>A dream come true: to see my art in a museum! 🤩 It&#39;s the portrait I painted of Charles Darwin.<br />Blog post: <a href="https://www.davidrevoy.com/article1073/my-portrait-of-charles-darwin-is-in-a-museum-now" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">davidrevoy.com/article1073/my-</span><span class="invisible">portrait-of-charles-darwin-is-in-a-museum-now</span></a></p><p><a href="https://framapiaf.org/tags/krita" class="mention hashtag" rel="tag">#<span>krita</span></a></p>

<p>Horripilant is a chilling incremental dungeon crawl through the horrors of a forgotten underworld <a href="https://www.gamingonlinux.com/2025/04/horripilant-is-a-chilling-incremental-dungeon-crawl-through-the-horrors-of-a-forgotten-underworld/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2025/04/horr</span><span class="invisible">ipilant-is-a-chilling-incremental-dungeon-crawl-through-the-horrors-of-a-forgotten-underworld/</span></a></p><p><a href="https://mastodon.social/tags/Horripilant" class="mention hashtag" rel="tag">#<span>Horripilant</span></a> <a href="https://mastodon.social/tags/IndieGames" class="mention hashtag" rel="tag">#<span>IndieGames</span></a> <a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="tag">#<span>Linux</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> sorry, I misunderstood the context</p>

<p><span class="h-card" translate="no"><a href="https://masto.ai/@skandhurkat" class="u-url mention">@<span>skandhurkat</span></a></span> this is completely irrelevant</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> if it is a shift where both the value and the shift amount are in registers, both quantities will have the same number of bits. If the shift amount is an immediate, then the number of bits available for the shift amount will match whatever the bit width for immediates is in that ISA, just to keep the decode easy.</p>

<p>whose fucking idea was it to require the shift amount to have the same width as the value to be shifted? is this purposefully designed to torture compiler developers??</p>

<p>every time i have to interact with SMT solvers it leaves me incandescently angry in a way little other tooling does. would it fucking kill you to allow zero length bitvectors? did you take inspiration from verilog??</p>