Following

Urs Enzler

@UrsEnzler@mastodon.social

Paul Ford

@ftrain@tilde.zone

Hilary

@hmason@hexa.club

Dave Thomas

@7sharp9@mastodon.social

Sebastian Ullrich

@kha@functional.cafe

Lean

@leanprover@functional.cafe

darklang

@darklang@mas.to

Terence Tao

@tao@mathstodon.xyz