dunham
- Karma
- 2,610
- Created
- 17 years ago
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.
https://dunhamsteve.github.io