- Exploring Dataflow Analysis in the Rust Compiler - June 12, 2023
- Generic Recursion Applied to Algebraic Graphs - July 31, 2022
- Discovering I've Shot Myself in the Foot with std::async - March 4, 2022
- Tensor Chain Contraction with Refolds - August 9, 2020
- Prototyping a Small Genetic Algorithms Library in Haskell - November 15, 2019