<p><span class="h-card" translate="no"><a href="https://pigeons.club/@joshua" class="u-url mention">@<span>joshua</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.bsd.cafe/@gumnos" class="u-url mention">@<span>gumnos</span></a></span> Current course list at <a href="https://www.dabeaz.com/courses.html" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://www.</span><span class="">dabeaz.com/courses.html</span><span class="invisible"></span></a>.</p>