Following

Simon Pepin Lehalleur

@plain_simon@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Davis Smith

@DavisSmith@zirk.us

Peter Luschny

@peterluschny@mathstodon.xyz

Ulrik Buchholtz

@buchholtz@mathstodon.xyz

Paul Graham

@paulg@mas.to

Henry Segerman

@henryseg@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Peter Rowlett

@peterrowlett@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz