Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Crystal Durham
CAD97
Video game engine & tooling developer, programming languages nerd, @rust-lang enthusiast, and on at least one too many layers of abstraction
Earth, Solar System
Hiromi Ishii
konn
Dependent Haskeller / Linear Haskell Advocate, Ph.D. in Math. Writing some Rust for living for a while.
Jij, Inc. @Jij-inc Tokyo
Jorge Ferreiro
ferreiro
Building @smashsend - I Love Shipping cool products 🚀 - Ex Tech Lead at StreamYard, Eventbrite, Amazon
@zootools San Francisco