Following

Steven Strogatz

@stevenstrogatz@mathstodon.xyz

∞ 𝕁uan ℂarlos

@jcponcemath@mathstodon.xyz

Dave Richeson

@divbyzero@mathstodon.xyz

Robert Reich

@rbreich@masto.ai

Martin Escardo

@MartinEscardo@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Lean

@leanprover@functional.cafe

Norbert Preining

@norbu@mastodon.social

arXiv math.LO feed

@j824h_arXiv_math_LO@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz

RunnersWorld

@RunnersWorld@flipboard.com

Quanta Magazine

@QuantaMagazine@mstdn.social