I hack in C++, LISP, Rust, Coq & Idris. I think a lot about writing provably correct code. I sometimes spout-off opinions on other topics.

ID: 49030875

linkhttps://www.unwoundstack.com/ calendar_today20-06-2009 15:23:59