Following

Dan Christensen

@jdchristensen@mathstodon.xyz

Obsidian

@obsidian@mas.to

Jonathan Aldrich

@JonathanAldrich@social.sigsoft.org

David Thrane Christiansen

@d_christiansen@mathstodon.xyz

David Young

@roboguy@mathstodon.xyz

Garrett Morris

@GarrettM@mathstodon.xyz

Yann Le Gall

@ylegall@genart.social

Ian Linkletter

@Linkletter@mastodon.social

Indivisible ❌👑

@indivisibleteam@mastodon.social

Inspirational Skeletor💀

@skeletor@mas.to

Matt

@infinimatt@hci.social

Lean

@leanprover@functional.cafe