Karthik S's following
- Decodokudecodoku
- Adam Langleyagl
- James Woottonquantumjim
- Andres Erbsenandres-erbsen
- Samuel Gruettersamuelgruetter
- Jason GrossJasonGross
- Programming Languages and Verification Group at MIT CSAILmit-plv
- Teague Tomeshteaguetomesh
- Waylon Jepsen0xJepsen
- David Daodaviddao
- Jeremy Kunj2kun
- Ilya Kostrikovikostrikov
- Petr HudečekSoothsilver
- Supratim Raysupratimray
- Christophweltoph
- Daniel SeitaDanielTakeshi
- Kristin Bransonkristinbranson