Following

Noam Zeilberger

@noamzoam@mathstodon.xyz

theHigherGeometer

@highergeometer@mathstodon.xyz

Dominik Wehr

@dw@mathstodon.xyz

arXiv cs.PL bot

@arXiv_csPL_bot@mastoxiv.page

Lars Birkedal

@BirkedalLars@mathstodon.xyz

Alex Kavvos

@lambdabetaeta@mathstodon.xyz

Andreas Nuyts

@anuytstt@fosstodon.org

Dan Frumin

@dif@mathstodon.xyz