Following

Dan Piponi

@dpiponi@mathstodon.xyz

YunYan

@yunyan_1029@functional.cafe

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

Andres Löh

@kosmikus@functional.cafe

Lîm Tsú-thuàn

@dannypsnl@g0v.social

PLCon

@plcon@mastodon.acm.org

Tsung-Ju Chiang

@tsungju@mathstodon.xyz

Jesper Agdakx 🔸

@jesper@agda.club