- Learning Lean: Part 4
- Learning Lean: Part 3
- Thoughts on Signals in the JavaScript Ecosystem
- Learning Lean: Part 2
- Learning Lean: Part 1
- Ticket to Ride: First Journey simulation authored with AI
- Puzzles2024
- Aoc2024
- Incremental Computation (part 3)
- Incremental Computation (part 2)
- Incremental Computation (part 1)