|
|
| user: | dunham | | created: | March 15, 2009 | | karma: | 2600 | | 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 | | submissions | | comments | | favorites |
|
