<p><span class="h-card" translate="no"><a href="https://mastodon.social/@mre" class="u-url mention">@<span>mre</span></a></span> I'm going "all in" right now. <a href="https://dabeaz.com/summer.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">dabeaz.com/summer.html</span><span class="invisible"></span></a> </p><p>(and I'm having a lot of fun working on it)</p>
