Following

Andrew Perfors

@AndyPerfors@aus.social

Lean

@leanprover@functional.cafe

Vijay Marupudi

@vijaymarupudi@functional.cafe

Melanie Mitchell

@melaniemitchell@sigmoid.social

Chris MacLellan

@cmaclell@sigmoid.social

Jess Hamrick

@jhamrick@sigmoid.social

Talia Ringer

@TaliaRinger@mathstodon.xyz

Xin Lian

@xinthelian@sigmoid.social

julesh

@julesh@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz