Following

Linus Torvalds

@torvalds@social.kernel.org

Codeberg

@Codeberg@social.anoxinon.de

David Young

@roboguy@mathstodon.xyz

alto

@alto@akkoma.probablytoo.online

Andrej Bauer

@andrejbauer@mathstodon.xyz

jcreed

@jcreed@mastodon.social

Agnishom

@agnishom@mas.to

Divya Ranjan :hilbert:

@divyaranjan@mathstodon.xyz

Shakhzod

@shakhzod@functional.cafe

Aram Hăvărneanu

@4ad@mathstodon.xyz

julesh

@julesh@mathstodon.xyz