Following

Lean

@leanprover@functional.cafe

Andrew Zonenberg

@azonenberg@ioc.exchange

Lynne

@lynne@mk.pars.ee

Nate Cook

@nnnnnnnn@mas.to

jenn schiffer

@jenn@gardenstate.social

Swift Language

@swiftlang@mastodon.social

Slava Pestov

@slava@mathstodon.xyz

Sophie Huiberts

@sophiehuiberts@mathstodon.xyz