I do things with computers, mostly programming Rust and Nix currently, used to do a lot of Java before that. I like type systems, programming language design and other formal maths‑y stuff. Lost my sanity on hardware description languages and embedded programming.