Whole-known-network
<p>Birthday party day 2. This time with 16 other 4 year olds. Pray for Auntie Nina.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@isagalaev" class="u-url mention">@<span>isagalaev</span></a></span> Yes, if people don't jump ship. I want to encourage everyone on Fosstodon to NOT change instances because of the outcry. Give grace, allow the time, and verify once public. As long as that happens, I have confidence that "this too shall pass".</p>
<p><span class="h-card" translate="no"><a href="https://fosstodon.org/@velten_dev" class="u-url mention">@<span>velten_dev</span></a></span> thanks for the summary. I don't believe Fosstodon is under a threat of being cancelled. There were always small instances whose admins immediately jump to an extreme measure of defederation in a sort of holier-than-thou contest among each other. But that will mostly harm their own users who now couldn't talk to anyone who happens to be on Fosstodon, so they'll eventually move to a less trigger-happy instance.</p>
<p>I wrote up a quick post about the OCaml to Hazel transpiler I've been hacking on recently. Reusing OCaml's type inference to handle Hazel's explicit polymorphism has been pretty fun!</p><p><a href="https://patrick.sirref.org/hazel-of-ocaml" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">patrick.sirref.org/hazel-of-oc</span><span class="invisible">aml</span></a></p>
<p><span class="h-card" translate="no"><a href="https://ioc.exchange/@azonenberg" class="u-url mention">@<span>azonenberg</span></a></span> yep</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> they burned error messages like that into a ROM? sounds wasteful of die area...</p>
<p><span class="h-card" translate="no"><a href="https://ioc.exchange/@azonenberg" class="u-url mention">@<span>azonenberg</span></a></span> well it's an embedded ROM with firmware</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> Clicked on the hexdump and didn't see a MZ at the start. Disappointed.</p>