layout title permalink page about /about/ This blog is a way to collate my thoughts on programming (particularly Rust), type theory and wider mathematics.