Following

Andres Löh

@kosmikus@functional.cafe

Terence Tao

@tao@mathstodon.xyz

Ismail Kuru

@ismailkuru@mastodon.acm.org

Manuel Rigger

@RiggerManuel@mastodon.social

Max Willsey

@mwillsey@discuss.systems

SIGPLAN

@sigplan@discuss.systems

Talia Ringer

@TaliaRinger@mathstodon.xyz

PLDI 2024

@pldi@mastodon.acm.org

Robert Grimm

@apparebit@mastodon.social