Following

Jon Sterling

@jonmsterling@mathstodon.xyz

Bartosz Milewski

@BartoszMilewski@mathstodon.xyz

Dan Piponi

@dpiponi@mathstodon.xyz

Matteo Capucci

@mc@mathstodon.xyz

SIGPLAN

@sigplan@discuss.systems

Tom de Jong

@de_Jong_Tom@mathstodon.xyz

Todd Waugh Ambridge

@todd@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz