Whole-known-network
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> ugh, yeah, need to fix, sorry</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> are you aware that the URL listed by c-reduce ( <a href="https://embed.cs.utah.edu/creduce/using/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">embed.cs.utah.edu/creduce/usin</span><span class="invisible">g/</span></a>) now leads into nowhere?</p>
<p>My friend just now on the thesis statement of 2025: “I feel bad for this country but this is tremendous content.”</p>
<p>Hot take: "HTML is a programming language" is gatekeeping in effect, if not in intent.</p><p>That is, something need not be a programming language to be a the subject of highly useful and important technical skills — viewing all of computing through the lens of programming languages is inherently limiting.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> Monetize, let no-one else's work evade your eyes, copy it all to your great AIs, but remember to always call it "research".</p>
<p><span class="h-card" translate="no"><a href="https://social.coop/@cwebber" class="u-url mention">@<span>cwebber</span></a></span> helb</p>
<p>I'm wondering if the growth of the DEI-consultant-industrial-complex of the past decade will be mirrored by a speech-equality-industrial-complex in the coming one…and how many of the people will be the same.</p>
<p>bleh</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@gamingonlinux" class="u-url mention">@<span>gamingonlinux</span></a></span> <br /><span class="h-card" translate="no"><a href="https://atomicpoet.org/users/atomicpoet" class="u-url mention">@<span>atomicpoet</span></a></span></p><p>Lots of great reviews, often of lesser known and retro games, and some personal toots.</p>