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. 💅🐍
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