This is a brief portfolio. If you'd like to chat DM me on X.
- Check out my pins, they are small projects in some of my favorite languages: Go, Haskell, Python, and Kotlin
- My online teaching has 5 star reviews on codementor
- I have spoken at meetups and conferences, here's a short Papers We Love NYC talk on unification
- I went to Oregon Programming Languages Summer School in 2017
I have been learning Rust and contributing to projects that interest me, anything involving computational logic or formal methods.
I have code in Ruby's build tool Rake and have contributed to a few other open source projects here and there.