Following

Abhinav Tushar

@lepisma@mathstodon.xyz

theHigherGeometer

@highergeometer@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Emily Riehl

@emilyriehl@mathstodon.xyz

Talia Ringer

@TaliaRinger@mathstodon.xyz

Greg Yang

@thegregyang@mathstodon.xyz

Rust Language

@rust@social.rust-lang.org

Lean

@leanprover@functional.cafe

Terence Tao

@tao@mathstodon.xyz