He was: he brought up the very same example in a talk in 2017.
https://www.youtube.com/watch?v=bSkpMdDe4g4&t=2640
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!
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!