Following

Jonathan Aldrich

@JonathanAldrich@social.sigsoft.org

Irene Zhang

@irene@discuss.systems

Simon Oddershede Gregersen

@sgregersen@mathstodon.xyz

Max Willsey

@mwillsey@discuss.systems

PLCon

@plcon@mastodon.acm.org

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