Web developer, interested in embedded systems, strong interest in Linux. Likes Rust, compilers, type theory.