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. 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. Though I actually make more money in my real job as a jazz guitarist, so don't take my word for anything.