Following

alex hubers

@ahubers@mathstodon.xyz

Rob Dickerson

@robd@mathstodon.xyz

Egbert Rijke

@egbertrijke@mathstodon.xyz

Ron Garcia

@rg9119@mathstodon.xyz

ohad

@ohad@mathstodon.xyz

M. J. Fromberger

@creachadair@phire.place

Danel Ahman

@danelahman@mathstodon.xyz

Daniel Hillerström

@dhil@mathstodon.xyz

SIGPLAN

@sigplan@discuss.systems

Jesper Agdakx 🔸

@jesper@agda.club