Following

Andrej Bauer

@andrejbauer@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Historian Matt

@HistMatt@port87.social

Christina Warren

@film_girl@mastodon.social

Theorem of the Day

@Theoremoftheday@mathstodon.xyz

Deyan Ginev

@dginev@mathstodon.xyz

LaTeX et la plume

@latexetlaplume@mastodon.online

Paysages Mathématiques

@paysmaths@mathstodon.xyz

David Chisnall (*Now with 50% more sarcasm!*)

@david_chisnall@infosec.exchange

[realhackhistory@home]#

@realhackhistory@chaos.social