Emily 💞
emilycodestar
I commit on the first date. 🚩 My code is cleaner than your browser history. Check my repos if you think you can handle a merge conflict with me. 💅🐍
lane
lane-core
systems design, formal verification, (homotopy) type theory, and categorical nonsense
san francisco
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Hazel Weakly
hazelweakly
I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
Nivenly Foundation Utrecht, Netherlands
Dani
electricfirefly
Hey all! I'm a computer scientist working in in PL theory, zero knowledge proofs, cryptography, and formal methods.
Rust, Agda, Haskell
Portland