Following

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

Zhixuan Yang

@zyang@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

sam

@sam@types.town

Jeremy Gibbons

@jer_gib@functional.cafe

Arjun

@javathunderman@discuss.systems

Hei Li

@heili@mathstodon.xyz

SYSTEMF lab

@systemf@social.epfl.ch

Alexa VanHattum

@avanhatt@discuss.systems

markusde, ZF-∅ believer

@markusde@mathstodon.xyz