Good question. It’s more technical than most of the ones I was considering and I have a harder time judging it because I haven’t really gone through it. I think with pure-math posts the line is blurry because if it’s sufficiently formal, it can be hard to make more explanatory, for dedicated readers.
I imagine that there are very math-heavy posts on Agent foundations that are both optimized for readability from other viewers, and ones more made as a first pass at writing down the ideas. That specific post seems like it’s doing a good amount of work to be clear and connect it to other useful work, so I would tend to think of it as explanatory. Of course, if it’s the first time the main content is online, then to viewers it would fulfill both purposes of being the original source, and also the most readable source.
Good question. It’s more technical than most of the ones I was considering and I have a harder time judging it because I haven’t really gone through it. I think with pure-math posts the line is blurry because if it’s sufficiently formal, it can be hard to make more explanatory, for dedicated readers.
I imagine that there are very math-heavy posts on Agent foundations that are both optimized for readability from other viewers, and ones more made as a first pass at writing down the ideas. That specific post seems like it’s doing a good amount of work to be clear and connect it to other useful work, so I would tend to think of it as explanatory. Of course, if it’s the first time the main content is online, then to viewers it would fulfill both purposes of being the original source, and also the most readable source.