3 ms·
It was, but Knuth called it "Hoare's Dictum". All the evidence seems to suggest it was Knuth himself that coined the phrase though.
by robert_tweed 12y ago
It was, but Knuth called it "Hoare's Dictum". All the evidence seems to suggest it was Knuth himself that coined the phrase though.
- deleted 12y ago[deleted]