Following

Haskell Weekly

@haskell_discussions@mastodon.social

Ron Garcia

@rg9119@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz

John Regehr

@regehr@mastodon.social

Rob

@simrob@social.wub.site

Zachary Tatlock

@ztatlock@discuss.systems

Marco Paviotti

@m4rk1x@mathstodon.xyz

Carlo Angiuli

@carloangiuli@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz

Yaron Minsky

@yminsky@discuss.systems

Lean

@leanprover@functional.cafe