Following

Bernhard Werner

@BernhardWerner@mathstodon.xyz

Lean

@leanprover@functional.cafe

Chris Heunen

@chrisheunen@mathstodon.xyz

Sebastian Ullrich

@kha@functional.cafe

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

@david_chisnall@infosec.exchange

Samuel Mimram

@smimram@mathstodon.xyz

Niels van der Weide

@nmvdw@mathstodon.xyz

Danel Ahman

@danelahman@mathstodon.xyz