Following

Lean

@leanprover@functional.cafe

Quanta Magazine

@QuantaMagazine@mstdn.social

theHigherGeometer

@highergeometer@mathstodon.xyz

Peter Woit

@peterwoit@mathstodon.xyz

Andrew J. Steinmetz

@ajsteinmetz.com@bsky.brid.gy

Meredith Whittaker

@Mer__edith@mastodon.world

Ars Technica

@arstechnica@mastodon.social

Jitse Niesen

@jitseniesen@mathstodon.xyz

Christian Lawson-Perfect

@christianp@mathstodon.xyz

The Aperiodical

@aperiodical@mathstodon.xyz