Getting myself into trouble, one commit at a time.
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!