Hello! Welcome to my stray thoughts.
2023-11-02 Misadventures with Gentoo
2020-02-13 The Value of a Type
Need a Functional Programmer? I'm available!
LambdaConf 2017 Talk -- Greek Classics: Lambda Calculus For Beginners talk, slides
[LambdaConf 2018 Talk -- Monad Transformers for the Easily Confused talk, slides
LambdaConf 2019 Talk -- Rust's Borrow Cheker Proven Correct talk, slides
Like what I'm doing? You can support me!