<p>The ridiculous Steam Brick just makes me want a proper Steam Machine <a href="https://www.gamingonlinux.com/2025/01/the-ridiculous-steam-brick-just-makes-me-want-a-proper-steam-machine/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">gamingonlinux.com/2025/01/the-</span><span class="invisible">ridiculous-steam-brick-just-makes-me-want-a-proper-steam-machine/</span></a></p><p><a href="https://mastodon.social/tags/SteamBrick" class="mention hashtag" rel="tag">#<span>SteamBrick</span></a> <a href="https://mastodon.social/tags/SteamDeck" class="mention hashtag" rel="tag">#<span>SteamDeck</span></a> <a href="https://mastodon.social/tags/SteamOS" class="mention hashtag" rel="tag">#<span>SteamOS</span></a></p>

<p><span class="h-card" translate="no"><a href="https://hachyderm.io/@smurthys" class="u-url mention">@<span>smurthys</span></a></span> Meh, sort of. I think Dijkstra overrated his views on CS Ed also. I&#39;m not sure replacing one cultish slavery with another would have done much good. (The problem is of course less often with the saints as much as with their acolytes. But Dijkstra&#39;s stringency was better taken in from a distance than made a central dogma.)</p>

<p>Does anyone have recommendation for a fairly basic blog system with (some of) these characteristics:<br />- can be hosted as GitHub Pages<br />- simple-ish to setup and to create posts<br />- an RSS feed would be very nice</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> <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://types.pl/@lenary" class="u-url mention">@<span>lenary</span></a></span> macro-by-example sounds interesting - like, a form of term rewriting?</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> I wonder if there are any fundamental problems with creationism because I am one of them.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> </p><p>This reminds me of the ideological motivations of stellar ,and probably other payment systems, for serving the unbanked. In other words, that having a connection to a bank or a payment system will allow the financial development of the global south and reduce global poverty.</p><p><a href="https://stellar.org/blog/thought-leadership/bridging-the-financial-services-gap-for-the-unbanked-how-stellar-ramps-make-finance-more-inclusive" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">stellar.org/blog/thought-leade</span><span class="invisible">rship/bridging-the-financial-services-gap-for-the-unbanked-how-stellar-ramps-make-finance-more-inclusive</span></a></p>

The owner of Meta wants more "masculine energy"? Well, I'm doing my best to bring my feminine energy to the Fediverse. <br /> <br /> Hello! I'm Elena Rossini, an Italian filmmaker, photographer and FOSS advocate based in Paris, France. <br /> <br /> Pictured here: at the Louvre museum after a portrait shoot (for a book jacket's author's pic: Monica Parker, The Power of Wonder). I'm proudly wearing around my neck my 3 cameras: a <a href="https://photos.elenarossini.com/discover/tags/Canon?src=hash" title="#Canon" class="u-url hashtag" rel="external nofollow noopener">#Canon</a> 5D Mark IV, a <a href="https://photos.elenarossini.com/discover/tags/Fujifilm?src=hash" title="#Fujifilm" class="u-url hashtag" rel="external nofollow noopener">#Fujifilm</a> X-T3 and a <a href="https://photos.elenarossini.com/discover/tags/Nikon?src=hash" title="#Nikon" class="u-url hashtag" rel="external nofollow noopener">#Nikon</a> Z fc (which has my favorite lens, a Sigma 30mm f/1.4).<br /> <br /> I'm delighted to see Pixelfed growing into such a nice photo community.

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> my guess is that we just don&#39;t have very many optimizations driven by partial undefs. </p><p>like, if you read undef and multiply by 2 you get the set of evens... but how many optimizations care about an input that is an indeterminate even number?</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> QE isn&#39;t something I know a lot about! but here&#39;s something by the CVC5 people:</p><p><a href="http://homepage.divms.uiowa.edu/~ajreynol/pres-dagstuhl15.pdf" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">http://</span><span class="ellipsis">homepage.divms.uiowa.edu/~ajre</span><span class="invisible">ynol/pres-dagstuhl15.pdf</span></a></p>