Mathematician cum embedded software engineer. Haskell and Rust, in theory; Python and C++, in practice.