blog :: Brent -> [String]

Proving the Fundamental Theorem of Arithmetic in Agda Posted on June 26, 2026 Tagged agda, arithmetic, theorem, proof, Agda Share on tl;dr: This is a fully commentated, from-scratch proof of the Fundamental Theorem of Arithmetic in Agda, intended for those

Disco Live!

Call for collaboration: Disco web UI Posted on November 10, 2025 Tagged disco, web, WASM, UI, teaching, discrete, math, Haskell Share on tl;dr: I would like to have a web interface for Disco, a student-oriented programming language for teaching functional…

Decidable equality for indexed data types, take 2 Posted on August 22, 2025 Tagged agda, equality, path, dependent, indexed, agda Share on In a post from a year ago, I explored how to prove decidable equality in Agda of a particular indexed data type.

Competitive programming in Haskell: sparse tables Posted on July 18, 2025 Tagged monoid, semigroup, idempotent, range, query, sum, sparse, table, Haskell, competitive programming Share on Continuing a series of posts on techniques for calculating range qu…

Competitive programming in Haskell: prefix sums Posted on June 27, 2025 Tagged monoid, range, query, prefix, sum, Haskell, competitive programming Share on In a previous blog post I categorized a number of different techniques for calculating range querie…

Competitive programming in Haskell: range queries, classified Posted on June 23, 2025 Tagged semigroup, monoid, range, query, Haskell, competitive programming Share on Static range queries Suppose we have a sequence of values, which is static in the sense…

Monads are not like burritos Posted on June 16, 2025 Tagged monad, pedagogy, meme, burrito, analogy, Haskell Share on In January 2009, while just a baby first-year PhD student, I wrote a blog post titled Abstraction, intuition, and the “monad tutorial fal…

Introduction to competitive programming in Haskell Posted on June 10, 2025 Tagged Kattis, competitive programming, haskell Share on A few days ago I gave a talk at ZuriHac 2025 entitled Haskell for Competitive Programming, a basic introduction to competit…

Hendrix College Programming Contest 2025 Posted on March 13, 2025 Tagged competitive programming, Hendrix, programming, contest, HCPC, Kattis Share on I haven’t written on here in a while, mostly because a lot of my time has gone into preparing for the se…