- Deriving Tail Recursive Fibonacci - January 11, 2024
- Solving Advent of Code in Unison - December 23, 2023
- Programs as Values, Part VII: Exploring Chaining - January 27, 2022
- Programs as Values, Part VI: Chaining - January 20, 2022
- Programs as Values, Part V: Outputs - January 10, 2022
- Programs as Values, Part IV: Algebras - January 4, 2022
- Programs as Values, Part III: Explicit Control Flow - May 3, 2021
- Programs as Values, Part II : Doing & Being - July 5, 2020
- Programs as Values, Part I : Intro & Compositionality - June 3, 2020
- A case study of flatMap vs flatten - July 24, 2019
- Coming Soon! - March 9, 2019