I greatly appreciate the time Zvi put into talking to me and that he updated the post. For posterity, I would like to note that this covers ~30% of the change I wanted. In particular, I’ve gone from feeling confident Zvi’s estimate of the impact of the change was that it was sufficient to clear the problem, to not knowing what he thinks the estimate is, aside from >0 (which I medium-confidence disagree with, but that’s a different issue). This may or may not be because the information isn’t there: it could also be that it’s there but I didn’t read carefully enough to derive it (and then we can debate how much effort is reasonable to expect from readers).
I don’t expect further edits based on this, but it seemed like useful information to share.
I greatly appreciate the time Zvi put into talking to me and that he updated the post. For posterity, I would like to note that this covers ~30% of the change I wanted. In particular, I’ve gone from feeling confident Zvi’s estimate of the impact of the change was that it was sufficient to clear the problem, to not knowing what he thinks the estimate is, aside from >0 (which I medium-confidence disagree with, but that’s a different issue). This may or may not be because the information isn’t there: it could also be that it’s there but I didn’t read carefully enough to derive it (and then we can debate how much effort is reasonable to expect from readers).
I don’t expect further edits based on this, but it seemed like useful information to share.