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.
- CogSecAug 03, 2026
- TransferringMay 15, 2026
- Universal constructions and the universal property of quotientsJan 04, 2026
- Postscript on HackMITSep 22, 2025
- How to set up Kindle Scribe for reading ChineseSep 13, 2025
- Anatomy of a NixOS moduleAug 31, 2025
A not-quite-comprehensive primer on the NixOS module system.
- Three Isomorphism Theorems in Linear AlgebraJun 19, 2025
A proof of the first three isomorphism theorems for linear algebra in particular.
- A critique of AI in educationJun 15, 2025
- Parallelizing this website for freeMay 13, 2025
- Doing web development in TypstMay 10, 2025