Qiao Zhang
zhangqiaorjc
Google Brain:
JAX (2020.9 - now), Tensorflow (2018.7-2020.8)
Google Mountain View, CA
LLVM
llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
OpenXLA
openxla
A community-driven, open source ML compiler ecosystem, using the best of XLA & MLIR.
Elisabeth Stenholm
elisabethstenholm
👩💻 Software developer | λ Functional programming enthusiast | 👩🎓 PhD in Homotopy Type Theory
Jonathan Cubides
jonaprieto
Research Engineer.
Read/write types and proofs for fun and profit.
Better HoTT than cold.
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Daniel Lehmann
danleh
Interested in programming languages, systems, and security. Worked on program analysis of WebAssembly binaries in my PhD.
Google: V8, WebAssembly Germany
Mira M
Mira-M
Sr. Full Stack Developer, Pokémon Trainer by night.
FT. Cat 🐱 Mom
You Need A Budget LLC. Maryland
Eric James Michael Ritz
ejmr
Computer programmer since 1993. After spending much of 2918 not codig due to healh reasons, I am finally ready to return to the programming I love.
United States