Weekly Roundup 2026-03-03
- Wednesday: I tried to nail down the interaction between 1ML effects, and algebraic effects.
- Thursday: I put together an attempt at a plan for getting this together.
- Friday: I experimented with taking notes in LaTeX, unsuccessfully.
- Saturday: I finally stopped misreading part of the 1ML paper.
- Sunday: I tried to sketch out what my implementation of all of this is going to have to do, in concrete terms.
- Monday: I took another crack at it, and challenged some of my assumptions.
Next week, I'm going to read up on refinement types for planning purposes, and have a long think about whether the way I'm thinking about "purity" makes any actual sense.