Whole-known-network
<p><span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> Great point. We have several of these in the Racket ecosystem, and it's almost trivial to create more. For instance, many years ago I created this *purely* through macros, which is a fun exercise: see `examples.rkt`:</p><p><a href="https://github.com/shriram/p4p" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">github.com/shriram/p4p</span><span class="invisible"></span></a></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>Thank God our long national nightmare of fairness and justice is over. 🙄</p>
<p>Making steady progress on getting rid of DEIA: Democracy, Ethics, Institutions, and Accountability.</p>
<p>If you like PL or DB, you should check out HYTRADBOI! If you like both, it really is a must see. </p><p><a href="https://www.hytradboi.com/2025" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="">hytradboi.com/2025</span><span class="invisible"></span></a></p>
<p><span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> The example I used to use (it’s less true today) was that VB.NET and C# had largely the same semantics but different syntax. At the time Microsoft had more or less an official policy of keeping it that way and most people were familiar with the example.</p>
<p>SBOMs, man. what a downer of a concept</p>
<p><a href="https://purplesyringa.moe/blog/falsehoods-programmers-believe-about-null-pointers/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">purplesyringa.moe/blog/falseho</span><span class="invisible">ods-programmers-believe-about-null-pointers/</span></a> - Falsehoods programmers believe about null pointers.</p>
<p><span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span> reminds me of when I took a well typed STLC implementation in Idris and wrote different frontends: something lisp-ish, ml-ish, and something more traditional.</p><p><a href="https://github.com/jfdm/olaf-lang/tree/main/examples" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">github.com/jfdm/olaf-lang/tree</span><span class="invisible">/main/examples</span></a></p><p>I should dust it off and make it a student project for more weird and wonderful surface languages…</p>