Following

funfacts.de

@funfacts@tube.funfacts.de

Marc-Uwe Kling

@marcuwekling@cultur.social

Assn for Computing Machinery

@ACM@mastodon.acm.org

Terence Tao

@tao@mathstodon.xyz

ICFP Conference

@icfp_conference@mastodon.acm.org

ana vldv

@ana_valdi@mastodon.social

Lean

@leanprover@functional.cafe

Chris Fallin

@cfallin@mastodon.world

Stefan Marr

@smarr@mastodon.acm.org