Following

David Renshaw

@david@social.wub.site

Terence Tao

@tao@mathstodon.xyz

Saul Pwanson

@saulpw@fosstodon.org

VisiData

@visidata@fosstodon.org

Sebastian Ullrich

@kha@functional.cafe

Julian Berman

@JulianWasTaken@mastodon.social

Bartosz Milewski

@BartoszMilewski@mathstodon.xyz

Lean

@leanprover@functional.cafe