Github: <a href="
How I've learned everything: <a href="
Location: Austin, TX
Remote: Willing to work remote or in office
Willing to relocate: Yes
Technologies: Python, Haskell, Git, Linux, Racket (Lisp dialect), Ruby, Agda (theorem prover), Rails, C
Résumé/CV: <a href="
Email: REDACTED_EMAIL