Freelance nonprofit mathematician and software engineer. Radical progressive, but I'll try to keep a lid on some of that. Into literate programming, Scheme, C. Learning Ada. I actually like fancier tools too - Idris, Lean, F# - but these days I prefer to write my own hacky type systems.

I don't care for LLMs but I am a freelance nonprofit guy. I actually make more money in my real job as a jazz guitarist. I plan on releasing something with very unsafe C and I will swallow my pride: in 2026 it is irresponsible to put C out into the world without having Claude take a look at it