- Thoughts on Sorbet's
T.nilable(2025-08-18) - OPLSS 2024 - Reflections (2024-07-11)
- Ramblings on notation (2021-08-05)
- Advent of Code 2020: Thoughts (2020-12-29)
- Whirlwind Introduction to Subtyping (2019-10-17)
- The Great Theorem Prover Challenge II (2018-07-04)
- The Great Theorem Prover Challenge I (2018-06-21)
- Who needs an API, anyway? (2016-06-30)
- PACTF 2016 - Reflections (2016-05-22)