Github: https://github.com/aryzach https://github.com/aryzach How I've learned everything: https://aryzach.github.io/ClassAndBookReviews.html https://aryzach.g

Github: https://github.com/aryzach https://github.com/aryzach How I've learned everything: https://aryzach.github.io/ClassAndBookReviews.html https://aryzach.github.io/ClassAndBookReviews.html 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: https://aryzach.github.io/Resume.pdf https://aryzach.github.io/Resume.pdf Email: zach_asmith@yahoo.com