Following

Matteo Capucci

@mc@mathstodon.xyz

Rupadarshi Ray

@rupadarshiray@mathstodon.xyz

Ars Technica

@arstechnica@mastodon.social

Andrej Bauer

@andrejbauer@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

julesh

@julesh@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz