dunham
About
I'm a Seattle area software engineer. I've worked on both front end and backend for a couple of decades using C++, Java, and Typescript.
I'm interested in programming language theory, compression, and cryptography. Recently I've been helping out with the Idris2 language and wrote the dependent typed language Newt.
I'm currently looking for new opportunities (local or remote).