Following

Lean

@leanprover@functional.cafe

mattpd

@mattpd@mastodon.social

Assn for Computing Machinery

@ACM@mastodon.acm.org

Rob Vincent 🎙️

@Rob_T_Firefly@masto.hackers.town

Joep Bos-Coenraad

@joepbc@mastodon.social

ICT Netwerk Nijmegen

@inn@mastodon.nl

Mark McCaughrean

@markmccaughrean@mastodon.social