I currently live about 30 minutes east of Seattle in Washington state. There I work remotely for Cisco Systems on the Meraki dashboard, a large Ruby and Rails application.
I’m currently working on learning more about programming language theory and type theory. Current reads include Types and Programming Languages, The Formal Semantics of Programming Languages, and Programming in Haskell. I’ve been enjoying the Iowa Type Theory Commute podcast by Aaron Stump, and Type Theory Forall by Pedro Abreu.
I’m trying to start writing more on this website, but the posts page will quickly show whether I have actually been doing that or not.
I’m still playing guitar quite a lot, and trying to spend as much time with my kids as I can.