Following

Yoïn van Spijk

@yvanspijk@toot.community

Josef Pelz

@josefpelz@mastodon.social

karpathy

@karpathy@sigmoid.social

Charles Choi 최 민수

@kickingvegas@sfba.social

Lean

@leanprover@functional.cafe

Matthew Scroggs

@mscroggs@mathstodon.xyz

chalkdust

@chalkdustmag@mathstodon.xyz

Jason Scott

@textfiles@mastodon.archive.org

Max Horn

@maxhorn@mathstodon.xyz

mattp (6×💉)

@mattp@mathstodon.xyz