Following

egri-nagy

@egrinagy@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Francis

@francisbrb@mathstodon.xyz

Peter Wemm

@karinjiri@soc.crashed.org

chesheer

@chesheer@mastodon.bsd.cafe

Lean

@leanprover@functional.cafe

Begasus

@begasus@mastodon-belgium.be

Thom, ᚩᛈᚻᚳᛗᚢᛡᛁᛅᛞᚪᚳᛗᛚᚢᚦ

@thomholwerda@exquisite.social

Matt Massicotte

@mattiem@mastodon.social

David Radcliffe

@davidradcliffe@mathstodon.xyz

TYPESW~1

@typeswitch@gamedev.lgbt