This really is just folklore, see this recent thread and Knuth himself on this story: https://news.ycombinator.com/item?id=18698651 https://www.youtube.com/watch?v=DmbGs290qeM&feature=youtu.be