This blog is a way to collate my thoughts on programming (particularly Rust), type theory and wider mathematics.