Blog
Here I post every once in a while, mainly about fun side projects.- Sheaves and hyperdescent — May 30, 2025
- "Monads for programmers" for mathematicians — May 25, 2025
- Decomposing (co)limits — May 21, 2025
- QR codes from the command line — May 7, 2025
- Additively generating modular units — May 4, 2025