User:Www.unwoundstack.com

I hack in C++, LISP & Rust. I think a lot about writing provably correct code. I write about that at https://www.unwoundstack.com.