Writing

Essays, technical notes, and project writeups. Not a blog in the generic sense — more like a public notebook for things worth writing down properly.

Published

Building ries-rs: A Rust rewrite of the inverse equation solver

Why I rewrote a 25-year-old C program in Rust, what I learned about expression enumeration, and how WASM made the web version possible.

rust wasm math ries

Topics I'll be writing about:

formal verificationRust systemsexpression enumerationWASM deploymentmicrokernel designLean 4music productioncompression theorynumber theory