<p><span class="h-card" translate="no"><a href="https://mastodon.social/@film_girl" class="u-url mention">@<span>film_girl</span></a></span> I feel the same way about the Notch Apps that add Dynamic Island-like features.</p>

<p>I rarely am in favor of discouraging indie apps from proliferating but here is a truth: Apple needs to Sherlock apps like Bartender or Ice in the next version of macOS. It’s been 5 years since we’ve had the notch on Macs and not having a native way to manage menu bar icons is beyond ridiculous.</p>

<p><span class="h-card" translate="no"><a href="https://not.acu.lt/@ignaloidas" class="u-url mention">@<span>ignaloidas</span></a></span> SMT doesn&#39;t even add that much value. arguably it adds negative value. I hate it so much</p>

<p><span class="h-card" translate="no"><a href="https://not.acu.lt/@ignaloidas" class="u-url mention">@<span>ignaloidas</span></a></span> i&#39;m all for less crackhead APIs yes</p>

@whitequark@mastodon.social maybe now you better understand why I think using pure SAT is better for prjunnamed 😉

<p><span class="h-card" translate="no"><a href="https://framapiaf.org/@davidrevoy" class="u-url mention">@<span>davidrevoy</span></a></span> wow this is impressive! Congrats!</p>

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