<p>I wrote up a quick post about the OCaml to Hazel transpiler I&#39;ve been hacking on recently. Reusing OCaml&#39;s type inference to handle Hazel&#39;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&#39;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&#39;t see a MZ at the start. Disappointed.</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> i can&#39;t tell if this is better or worse than the time someone unironically told me &quot;all of these are monads, you just need to rewrite them in continuation-passing style&quot;</p>

<p><a href="https://mastodon.social/tags/Bionic" class="mention hashtag" rel="tag">#<span>Bionic</span></a> arms. That work. For real.</p><p><a href="https://www.youtube.com/watch?v=UgC7la_3IIA" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="">youtube.com/watch?v=UgC7la_3IIA</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/MageHand" class="mention hashtag" rel="tag">#<span>MageHand</span></a></p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> <span class="h-card" translate="no"><a href="https://autistics.life/@Uair" class="u-url mention">@<span>Uair</span></a></span> Lol.</p><p>I don&#39;t plan to sell them, but the plan I&#39;m using is already public (&quot;hi the shark&quot; on freesewing). So anybody with some decent sewing skills should be able to replicate the project once I&#39;ve proven it out.</p>