Following

GNU TeXmacs

@gnu_texmacs@mathstodon.xyz

Christian Lawson-Perfect

@christianp@mathstodon.xyz

Artem Chernikov

@archernikov@mathstodon.xyz

Ryan Williams

@rrwilliams@mastodon.social

Boaz Barak

@boazbaraktcs@sigmoid.social

Christian Szegedy

@ChrSzegedy@sigmoid.social

Ryan O'Donnell

@BooleanAnalysis@mathstodon.xyz

Timothy Gowers

@wtgowers@mathstodon.xyz

Fabio Mogavero

@fabiomogavero@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz