Following

Carlo Angiuli

@carloangiuli@mathstodon.xyz

Charles Southerland

@csoutherland@mastodon.acm.org

mL

@ltlnx@g0v.social

Axel Ljungström

@ljungstrom@mathstodon.xyz

Taichi Uemura

@tuemura@mathtod.online

Jesper Agdakx 🔸

@jesper@agda.club

Anders Mörtberg

@mortberg@mathstodon.xyz

Josh Ko

@joshko@functional.cafe

Jeremy Gibbons

@jer_gib@functional.cafe

Chung-chieh Shan 單中杰

@ccshan@woof.group

Yao Li

@liyao@mastodon.acm.org