Weekly Roundup 2025-01-07

By Max Woerner Chase

Next week, I'm going to try to get that processing done right. Also, my skimming about type theory should come to a close, and I can start sketching stuff out and figuring out what to revisit.