Archives
Here are most of the blog style posts on this site, sorted chronologically from newest to oldest. This is not an exhaustive sitemap. There is also an RSS feed, and an Atom feed.
- Universal constructions and the universal property of quotientsJanuary 4, 2026
- Postscript on HackMITSeptember 22, 2025
- How to set up Kindle Scribe for reading ChineseSeptember 13, 2025
- Anatomy of a NixOS moduleAugust 31, 2025
A not-quite-comprehensive primer on the NixOS module system.
- Three Isomorphism Theorems in Linear AlgebraJune 19, 2025
A proof of the first three isomorphism theorems for linear algebra in particular.
- A critique of AI in educationJune 15, 2025
- Parallelizing this website for freeMay 13, 2025
- Doing web development in TypstMay 10, 2025