Following

Andrej Bauer

@andrejbauer@mathstodon.xyz

Hacker News Discussions

@hn_discussions@mastodon.social

Derek Dreyer

@herrdreyer@discuss.systems

Alexandra Silva

@xanovsky@mastodon.social

Jonathan Aldrich

@JonathanAldrich@social.sigsoft.org

C.B. Aberlé

@cbaberle@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz

Tobias Grosser

@grosser@mastodon.social

José A. Alonso

@Jose_A_Alonso@mathstodon.xyz

Manu Sridharan

@manusridharan@discuss.systems

PLDI 2024

@pldi@mastodon.acm.org