<p><span class="h-card" translate="no"><a href="https://types.pl/@Andrev" class="u-url mention">@<span>Andrev</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@zanzi" class="u-url mention">@<span>zanzi</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@pigworker" class="u-url mention">@<span>pigworker</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@disconcision" class="u-url mention">@<span>disconcision</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@julesh" class="u-url mention">@<span>julesh</span></a></span> guys I think we just did science on the internet</p>