Whole-known-network
<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>
<p>i know syntax is the ultimate bikeshed in PL design but the problem is it’s very hard to see past when getting a feel for a language unless you’ve spent time studying semantics</p><p>i wonder if there’s any value to a project like <span class="h-card" translate="no"><a href="https://mastodon.social/@shriramk" class="u-url mention">@<span>shriramk</span></a></span>’s mystery languages, but in reverse, where the same AST & semantics has many swappable concrete syntaxes</p>
<p>general advice for anyone who finds themselves moving to another country in the near future for whatever reason:</p><p>1) it's more expensive than you think. yes, even after you take this into account. Don't be surprised or ashamed if you end up needing to borrow money from friends and family to cover the short-term spike in expenses. </p><p>2) get rid of as much Stuff as you possibly can. My employer gave me about $4000 for relocation expenses but that only covered one large shipping crate that fit my clothes, books, etc. It was way cheaper and easier to give away all my furniture and replace it on the other side. </p><p>3) That crate took something like nine weeks to arrive, it was absolutely worth it to pay for an extra suitcase on my flight to cram as many necessities into as possible.</p>
