Following

PLCon

@plcon@mastodon.acm.org

Hacker News

@h4ckernews@mastodon.social

Guillaume Munch-Maccagnoni

@gadmm@mathstodon.xyz

Zachary Tatlock

@ztatlock@discuss.systems

Alley Stoughton

@fullyabstract@fosstodon.org

Jeremy Kun

@j2kun@mathstodon.xyz

Wen-Ding Li

@xu3kev@sigmoid.social

Philip Guo

@pg@hci.social

Elecia White

@logicalelegance@mastodon.online

Ben Zorn (he, him)

@benzorn@mastodon.social

Pedro Amorim

@pamorim@mathstodon.xyz