One step at a time.

Here begins an experiment in publicizing my thoughts around category theory, theorem proving with Agda, and research musings. As a fairly applied researcher, this will be a bit of an odd set of musings as I wrestle with theory. In a previous life I maintained a decent software blog, but this one will be my first blog series since starting my Ph.D. program. Let's see if I can do this consistently 🤞.