<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> Not too much _more_ since although TLA+ is billed as a verifier it&#39;s really just a simulator.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> cleaning the sticky bit after the dirty bit</p>

<p>Become a pirate captain in Red Rogue Sea that combines FTL and deckbuilding with a demo out now <a href="https://www.gamingonlinux.com/2025/04/become-a-pirate-captain-in-red-rogue-sea-that-combines-ftl-and-deckbuilding-with-a-demo-out-now/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2025/04/beco</span><span class="invisible">me-a-pirate-captain-in-red-rogue-sea-that-combines-ftl-and-deckbuilding-with-a-demo-out-now/</span></a></p><p><a href="https://mastodon.social/tags/Red" class="mention hashtag" rel="tag">#<span>Red</span></a> <a href="https://mastodon.social/tags/Rogue" class="mention hashtag" rel="tag">#<span>Rogue</span></a> <a href="https://mastodon.social/tags/Sea" class="mention hashtag" rel="tag">#<span>Sea</span></a> <a href="https://mastodon.social/tags/Godot" class="mention hashtag" rel="tag">#<span>Godot</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></p>

<p>Cosy floating island decoration game Twinkleby revealed by Meadow and Shelter devs Might and Delight <a href="https://www.gamingonlinux.com/2025/04/cosy-floating-island-decoration-game-twinkleby-revealed-by-meadow-and-shelter-devs-might-and-delight/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2025/04/cosy</span><span class="invisible">-floating-island-decoration-game-twinkleby-revealed-by-meadow-and-shelter-devs-might-and-delight/</span></a></p><p><a href="https://mastodon.social/tags/Twinkleby" class="mention hashtag" rel="tag">#<span>Twinkleby</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></p>

<p>Cute life sim Little Sim World comes to Early Access on May 1 <a href="https://www.gamingonlinux.com/2025/04/cute-life-sim-little-sim-world-comes-to-early-access-on-may-1/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2025/04/cute</span><span class="invisible">-life-sim-little-sim-world-comes-to-early-access-on-may-1/</span></a></p><p><a href="https://mastodon.social/tags/LittleSimWorld" class="mention hashtag" rel="tag">#<span>LittleSimWorld</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>Notice how the &quot;influencers&quot; and &quot;public intellectuals&quot; on X have lost thousands of likes, and now only have hundreds or less, after losing the algorithmic manipulation after the national elections. You saw them in the company of grifters and fascists.</p><p>They felt relevant and close to Elon Musk and corporatists, because of the algorithm boost, even though they have nothing in common in real life, only narcissistic logic.</p>

<p>Proton Hotfix updated to fix Monster Hunter Wilds on Linux / Steam Deck <a href="https://www.gamingonlinux.com/2025/04/proton-hotfix-updated-to-fix-monster-hunter-wilds-on-linux-steam-deck/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2025/04/prot</span><span class="invisible">on-hotfix-updated-to-fix-monster-hunter-wilds-on-linux-steam-deck/</span></a></p><p><a href="https://mastodon.social/tags/MonsterHunterWilds" class="mention hashtag" rel="tag">#<span>MonsterHunterWilds</span></a> <a href="https://mastodon.social/tags/SteamOS" class="mention hashtag" rel="tag">#<span>SteamOS</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> <a href="https://mastodon.social/tags/Proton" class="mention hashtag" rel="tag">#<span>Proton</span></a></p>

<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@fasterthanlime" class="u-url mention">@<span>fasterthanlime</span></a></span> oh hey, glad you managed to find something that works for you!</p><p>very excited for facet, for the well known reasons. the link to it is dead though ^^</p>

<p><span class="h-card" translate="no"><a href="https://fedi.tesaguri.club/users/shironeko" class="u-url mention">@<span>shironeko</span></a></span> <span class="h-card" translate="no"><a href="https://hachyderm.io/@thejpster" class="u-url mention">@<span>thejpster</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@dramforever" class="u-url mention">@<span>dramforever</span></a></span> I mean I don&#39;t really believe in the utility of copyright, so to me this isn&#39;t an interesting counterargument. Throw it out for all I know.</p>