Following

Paul Ford

@ftrain@tilde.zone

Micah Lee

@micahflee@infosec.exchange

arXiv

@arXiv@mathstodon.xyz

Shriram Krishnamurthi

@shriramk@mastodon.social

Fyra Labs

@hq@fedi.fyralabs.com

Kim Scheinberg

@kims@mas.to

Lean

@leanprover@functional.cafe

CryptPad

@CryptPad@social.xwiki.com

Dave Mackintosh

@davemackintosh@fosstodon.org