Following

David Beazley

@dabeaz@mastodon.social

Miguel de Icaza ᯅ🍉

@Migueldeicaza@mastodon.social

LLVM Project

@llvm@mastodon.social

Vinod Grover

@vgrover@mastodon.social

Matthew Flatt

@mflatt@mastodon.social

Racket

@racketlang@functional.cafe

Yaron Minsky

@yminsky@discuss.systems

Let's Encrypt

@letsencrypt@infosec.exchange

Lean

@leanprover@functional.cafe

Daniel Le Berre

@dleberre@mastodon.social