Following

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

Carlo Angiuli

@carloangiuli@mathstodon.xyz

Alex Kavvos

@lambdabetaeta@mathstodon.xyz

Harley Eades

@heades@hci.social

Arjun

@javathunderman@discuss.systems

Thomas Porter

@tjp@mathstodon.xyz

ahuoguo

@ahuoguo@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz