<p><span class="h-card" translate="no"><a href="https://types.pl/@flippac" class="u-url mention">@<span>flippac</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@rg9119" class="u-url mention">@<span>rg9119</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@pdarragh" class="u-url mention">@<span>pdarragh</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> my brain, broken: "trying to inferse where the fixpoint would go"</p>
