About me

I’m a self-taught systems programmer. Some of my favorite things to work on are:

• Compilers
• Microcontrollers
• Game hacks

I believe in creating strong and expressive foundations that lend themselves to correct-by-nature software without locking myself to specific paradigms or traditions.