Following

Assn for Computing Machinery

@ACM@mastodon.acm.org

Terence Tao

@tao@mathstodon.xyz

ICFP Conference

@icfp_conference@mastodon.acm.org

ana vldv

@ana_valdi@mastodon.social

Lean

@leanprover@functional.cafe

Chris Fallin

@cfallin@mastodon.world

Nicole Heinimann

@SaltyPeppermint@cyberplace.social

Stefan Marr

@smarr@mastodon.acm.org

Scottish PL Institute

@spli@mastodon.scot

Irene Zhang

@irene@discuss.systems