Following

OCaml

@ocaml@mastodon.social

Thor

@taooftypes@mathstodon.xyz

Dan Piponi

@dpiponi@mathstodon.xyz

Dan Marsden

@stringdiagram@mathstodon.xyz

Anders Mörtberg

@mortberg@mathstodon.xyz

Brent Yorgey

@byorgey@mathstodon.xyz

favonia

@favonia@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Jesper Agdakx 🔸

@jesper@agda.club