So… how’d this sequence/project go? It looks like you abandoned it but maybe I’m wrong and it’s just on the back burner, or there’s some private draft, or the problem cleared up on its own and I haven’t noticed?
I think I mostly figured out this sequence wasn’t going to accomplish the implicit goal I had at the time (which was “get some particular people to stop being annoying, by highlighting to multiple they were bickering with or dismissing were approaching a different part of the coordination frontier from a different angle”).
Also, a lot of the answer to the problem here was more like “factor problems into spaces such that it doesn’t matter if people disagree”, which is a good answer but like, doesn’t really need the theory the sequence was trying to build towards.
So… how’d this sequence/project go? It looks like you abandoned it but maybe I’m wrong and it’s just on the back burner, or there’s some private draft, or the problem cleared up on its own and I haven’t noticed?
I think I mostly figured out this sequence wasn’t going to accomplish the implicit goal I had at the time (which was “get some particular people to stop being annoying, by highlighting to multiple they were bickering with or dismissing were approaching a different part of the coordination frontier from a different angle”).
Also, a lot of the answer to the problem here was more like “factor problems into spaces such that it doesn’t matter if people disagree”, which is a good answer but like, doesn’t really need the theory the sequence was trying to build towards.