Following

TierraSapiens

@tierrasapiens@mastodon.social

Terence Tao

@tao@mathstodon.xyz

Luke Lau

@luke@mastodon.ie

Tommy McMichen

@tommy@discuss.systems

Jon Gjengset

@jonhoo@fosstodon.org

John Regehr

@regehr@mastodon.social

Michel Steuwer

@michel@mastodon.acm.org

Jeremy Kun

@j2kun@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz