blog :: Brent -> [String]
- 2026-06-26: Proving the Fundamental Theorem of Arithmetic in Agda
- 2026-01-09: Disco Live!
- 2025-11-10: Call for collaboration: Disco web UI
- 2025-08-22: Decidable equality for indexed data types, take 2
- 2025-07-18: Competitive programming in Haskell: sparse tables
- 2025-06-27: Competitive programming in Haskell: prefix sums
- 2025-06-23: Competitive programming in Haskell: range queries, classified
- 2025-06-16: Monads are not like burritos
- 2025-06-10: Introduction to competitive programming in Haskell
- 2025-03-13: Hendrix College Programming Contest 2025
End of feed.