Keiko Nakata
keikonakata
Programming, constructive mathematics and topology, which are all beautifully related.
Youyou Cong
YouyouCong
I am a native speaker of delimited continuations.
Institute of Science Tokyo Tokyo, Japan
Brendan Eich
BrendanEich
Founder & CEO, Brave Software. Created JavaScript. Co-founded Mozilla and Firefox.
@brave
Bob Nystrom
munificent
Programming language developer, ex-game developer, UI nerd, author of "Game Programming Patterns" and "Crafting Interpreters".
@google, on @dart-lang Seattle, WA
Rust Foundation
rustfoundation
An independent non-profit organization to steward the Rust programming language and ecosystem
HKUST TACO Lab
hkust-taco
Types, Abstraction, Compilers & Optimization – research group at HKUST
Hong Kong
Barry Jay
barry-jay-personal
I've left the university to work on my book and explore other opportunities
self-employed Sydney, Australia
Leni Aniva
lenianiva
Researcher in Machine-Assisted Theorem Proving;
Director of NorCal Hakkero Factory No. 1
Stanford University Centaur Lab San Francisco Bay Area, Gensokyo
Henning Dieterichs
hediet
Let's build the software of the future! Working on VS Code @microsoft.
Microsoft Zurich
OCamlPro
OCamlPro
OCamlPro is a French company with a strong expertise in programming languages & formal methods, with 10+ years' experience in state-of-the-art developments.
Paris & Saclay
PreviousNext