Following

Bellingcat

@Bellingcat@mstdn.social

Lean

@leanprover@functional.cafe

Dr Luke Davis

@luke_phys@mastodon.world

Matthias Rosenkranz

@rosenkranz@mathstodon.xyz

Henry Segerman

@henryseg@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz

Martin Fowler

@mfowler@toot.thoughtworks.com