Hi 👋

This is a brief portfolio. If you'd like to chat DM me on X.

Some Background

• 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

Recent Open Source Work

I have been learning Rust and contributing to projects that interest me, anything involving computational logic or formal methods.

• https://github.com/cedar-policy/cedar/pull/406
• https://github.com/cedar-policy/cedar/pull/408
• https://github.com/cedar-policy/cedar/pull/411
• https://github.com/pubgrub-rs/pubgrub/pull/146

Past Highlights

I have code in Ruby's build tool Rake and have contributed to a few other open source projects here and there.

• https://github.com/jimweirich/rake/pull/264
• https://github.com/discourse/discourse/pull/475
• https://github.com/thoughtbot/griddler/pull/34
• https://github.com/capistrano/capistrano/pull/992