Following

Owen Lynch

@olynch@mathstodon.xyz

Jean-Baptiste Etienne

@JeanBaptisteEt4@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Boaz Barak

@boazbaraktcs@sigmoid.social

Vince Vatter

@VinceVatter@mathstodon.xyz

Tammy Kolda

@TammyKolda@mathstodon.xyz

Simon Frieder

@friederrr@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz