<p><span class="h-card" translate="no"><a href="https://types.pl/@wilbowma" class="u-url mention">@<span>wilbowma</span></a></span> I like this a lot and it&#39;s something we should be talking about more, but my gut reaction is that a lot of it might be just as well or better phrased in terms of HCC/HCI rather than using a framework from moral philosophy</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@coachmike66" class="u-url mention">@<span>coachmike66</span></a></span> thank you! And no, I had looked up logistics in advance but I pulled the trigger on tickets, hotel and flights from my seat on the airplane that was departing Seoul on Saturday night Seoul time (so like 3:30pm Friday in America). So it really did all come together with 48 hours notice</p>

<p><span class="h-card" translate="no"><a href="https://qoto.org/@falken" class="u-url mention">@<span>falken</span></a></span> fantastic. I had such a good time!</p>

<p>baby&#39;s first PCB order is away</p><p>(My as-yet-unused MHP50 hotplate is going to get a workout for the LED side of this; the back side is deliberately set up for hand-soldering.)</p>

<p>[blog] &quot;<a href="https://mastodon.social/tags/langs" class="mention hashtag" rel="tag">#<span>langs</span></a> that Fit in Your Head&quot; - make good programming languages by composing small ones.</p><p><a href="https://countvajhula.com/2024/12/09/langs-that-fit-in-your-head/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">countvajhula.com/2024/12/09/la</span><span class="invisible">ngs-that-fit-in-your-head/</span></a></p><p><a href="https://mastodon.social/tags/RacketAdvent2024" class="mention hashtag" rel="tag">#<span>RacketAdvent2024</span></a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="tag">#<span>programming</span></a></p>

<p>It is implicit and ambient in the earliest scientific computing languages that the words of the machine are the box in which data fits, and so one needs “types” to class data when your computer gets new fancy boxes for doing e.g. fixed point arithmetic. On the business side, it takes a few revisions for FORTRAN to gain simple numeric types-as-classifiers and arrays. ALGOL 58 has type declarations after a few documented reports. These efforts feel - and are often described - as utterly ad hoc tho</p>

<p>If you squint _really_ hard you can even say Zuse had (one of) the first written accounts of a kind of algebraic data structure, though he most certainly did not have the language to describe his constructions as such. No, rather, where did the connection between types as structure and the layout of bits in storage really come from?</p>

<p><span class="h-card" translate="no"><a href="https://toot.cafe/@bryan" class="u-url mention">@<span>bryan</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@mcc" class="u-url mention">@<span>mcc</span></a></span> By &quot;free up&quot; you mean &quot;garbage collected&quot;, presumably.</p>

<p><span class="h-card" translate="no"><a href="https://f.duriansoftware.com/@joe" class="u-url mention">@<span>joe</span></a></span> Ah, finally, an honest OOPL.</p>