Following

Ana Jorge Almeida

@anathegrey@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

jcreed

@jcreed@mastodon.social

Jeremy Gibbons

@jer_gib@functional.cafe

PLCon

@plcon@mastodon.acm.org

chris martens

@chrisamaphone@hci.social

Michael

@mzhang@fosstodon.org

SIGPLAN

@sigplan@discuss.systems