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