Following

Greg Egan

@gregeganSF@mathstodon.xyz

God

@TheTweetOfGod@mastodon.social

Simon Frieder

@friederrr@mathstodon.xyz

Lean

@leanprover@functional.cafe

felix (grayscale) 🐺

@gray17@mastodon.social

Snopes

@snopes@infosec.exchange

robinhouston

@robinhouston@mathstodon.xyz

foldworks

@foldworks@mathstodon.xyz

Mason Porter

@masonporter@mastodon.social

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz