| ▲ | pwdisswordfishy 12 hours ago | |
He was: he brought up the very same example in a talk in 2017. | ||
| ▲ | MobiusHorizons 11 hours ago | parent [-] | |
Ah that makes much more sense. I guess he means the optimization is surprising when you first discover it, which it certainly was for me! | ||