hrs
Follow
Consultant @testdouble, formerly @google and @thoughtbot. Enthusiastic about PLT, distributed systems, education, Ruby, Lisp, and formal verification.
- Vancouver, BC