Followers

Christos Bouas

@christos@discuss.systems

Saurabh Jha

@saurabhjha@discuss.systems

alex hubers

@ahubers@mathstodon.xyz

Ryan Tjoa

@rtjoa@discuss.systems

Basil L. Contovounesios

@blc@libretooth.gr

Nikil Shyamsunder

@nikilshyamsunder@discuss.systems

ACP Section

@acp@mastodon.acm.org

Gert Smolka

@gert_smolka@mastodon.social

Kevin Graaf @ POPL

@kevin@fedi.kbg.sh