> Interestingly, the results of this optimization are well-described by Hoare's Dictum, often mistakenly attributed to Donald Knuth, which states More interest

> Interestingly, the results of this optimization are well-described by Hoare's Dictum, often mistakenly attributed to Donald Knuth, which states More interestingly, it is not clear at all that it's Hoares. [0] has a nice overview, and they conclude that it is indeed Knuths. [0]: https://shreevatsa.wordpress.com/2008/05/16/premature-optimization-is-the-root-of-all-evil/ https://shreevatsa.wordpress.com/2008/05/16/premature-optimi...