Following

Kevin Buzzard

@xenaproject@mathstodon.xyz

Fredrik Nordvall Forsberg

@fnf@mathstodon.xyz

SIGPLAN AV

@sigplanav@mastodon.acm.org

Martin Escardo

@MartinEscardo@mathstodon.xyz

Bartosz Milewski

@BartoszMilewski@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Minimus

@Minimus@archaeo.social

Greg Egan

@gregeganSF@mathstodon.xyz

Christian Lawson-Perfect

@christianp@mathstodon.xyz