| ▲ | The Art of Computer Programming by Donald E. Knuth(www-cs-faculty.stanford.edu) |
| 122 points by archargelod 10 hours ago | 34 comments |
| |
|
| ▲ | dolmen 2 hours ago | parent | next [-] |
| Latest Knuth preprint: "Fillomino Densities", dated 2026-07-01 From a previous preprint titled "Claude’s Cycle", dated 2026-02-28 [2]: It seems that I’ll have to revise my opinions about “generative AI” one of these days. What a joy it is to learn not only that my conjecture has a nice solution but also to celebrate this dramatic advance in automatic deduction and creative problem solving. I’ll try to tell the story briefly in this note.
[1] https://www-cs-faculty.stanford.edu/~knuth/papers/fillomino-...[2] https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cyc... |
|
| ▲ | TheChaplain 5 hours ago | parent | prev | next [-] |
| I am not a believer, but pray that whichever $DEITY is watching over Donald Knuth allows him a healthy and long life to reach the achievement of finishing volume 7. |
| |
| ▲ | mcv 24 minutes ago | parent | next [-] | | He's a Christian (he's also written about that), but considering the time volume 4 took (and is still taking), I have my doubts he's going to make it. | |
| ▲ | kps 2 hours ago | parent | prev | next [-] | | I think there's a proof that he can at best asymptotically approach volume 7. | | |
| ▲ | wolfi1 2 hours ago | parent [-] | | but what distraction could it be now? There seems to be nothing to be done for TeX | | |
| ▲ | kps an hour ago | parent [-] | | The way I see it: Volume 7 is compilation. Since many optimization techniques are NP-complete, Knuth will have to take a break from writing TAOCP to settle whether or not P=NP. | | |
|
| |
| ▲ | Pet_Ant 2 hours ago | parent | prev [-] | | What he needs to do is start sketching the rest so that it can be finished after his death in his vision. | | |
|
|
| ▲ | klik99 2 hours ago | parent | prev | next [-] |
| After years of dipping into random chapters for reference I read through the first 2.5 volumes sequentially until life got too busy. I plan on gifting the current full set to myself this xmas- but even if you just dip into it like a coffee table book it’s a wonderful read that breaks up tough sections with humor. |
|
| ▲ | ocd 4 hours ago | parent | prev | next [-] |
| I'm sure most of it is above my head, but I purchased the entire set in a mispricing for approximately ~$40 some time ago, and I'm really happy to have it in my library. |
|
| ▲ | jagged-chisel 6 hours ago | parent | prev | next [-] |
| About $340 for the full set of eBooks. Also: "Please do not tell me about errors that you find in an eBook, whether it's PDF or not, unless the same errors are present in a printed copy; such mistakes should be reported directly to the publisher." Glad he thought to mention this, but I suspect his inbox will still be inundated. |
| |
| ▲ | fmajid 5 hours ago | parent [-] | | He doesn't have an inbox: https://www-cs-faculty.stanford.edu/~knuth/email.html | | |
| ▲ | WillAdams 5 hours ago | parent | next [-] | | E-mails which are sent in about the various books used to be printed out and responded to --- I got a $2.88 physical reward check for finding an error and a point of improvement in _Digital Typography_. Not sure how they are handled now. Trying to find an error or point of improvement in v4f7 so that I can get an account at: https://www-cs-faculty.stanford.edu/~knuth/boss.html (usually, I do find errors in books, esp. e-books, which reminds me, I need to pick up the corrected 3rd printing of _The Fall of Arthur_ by J.R.R. Tolkien before I read it again, since that should have the error I found corrected). | | |
| ▲ | fmajid 4 hours ago | parent [-] | | Yes, that article has an email for TAOCP corrections, that are processed by his secretary. |
| |
| ▲ | jagged-chisel 4 hours ago | parent | prev [-] | | Inboxes don’t have to be digital. Inboxes, digital or physical, can be handled by other people. In any case, someone beyond the publisher will still get inundated with corrections about the PDFs and likely will demand their reward for it. |
|
|
|
| ▲ | jdnier 2 hours ago | parent | prev | next [-] |
| From Future Plans... > And after Volumes 1--5 are done, God willing, I plan to publish Volume 6 (the theory of context-free languages) and Volume 7 (Compiler techniques), but only if the things I want to say about those topics are still relevant and still haven't been said. Volumes 1--5 represent the central core of computer programming for sequential machines; the subjects of Volumes 6 and 7 are important but more specialized. |
| |
| ▲ | jdnier 2 hours ago | parent [-] | | And about Volume 5... > Syntactic Algorithms, in preparation. 9. Lexical scanning (includes also string search and data compression) 10. Parsing techniques |
|
|
| ▲ | sourdecor 5 hours ago | parent | prev | next [-] |
| I really like the books listed in the link to American Scientist's book recommendations[0] on that page. [0]: https://www.americanscientist.org/article/100-or-so-books-th... |
|
| ▲ | laichzeit0 2 hours ago | parent | prev | next [-] |
| I wonder how many of the problems he lists on https://www-cs-faculty.stanford.edu/~knuth/news.html could be solved/checked with something like Fable at this point. |
| |
|
| ▲ | zerr 2 hours ago | parent | prev | next [-] |
| The valuable prose aside, I never liked that code examples were in a pseudo assembly language. |
| |
| ▲ | commandlinefan 2 hours ago | parent | next [-] | | There are M/MIX assemblers and interpreters you can download and run - in some ways they're better than "real" programming languages because they're explicitly for instruction so usability concerns like package managers and build automation support don't get in "the way" of operating them. | |
| ▲ | mghackerlady 2 hours ago | parent | prev | next [-] | | It's the only thing he could've done if he wanted the books to stand the test of time | |
| ▲ | convolvatron 2 hours ago | parent | prev [-] | | consider the alternatives. it could have been written in PL-1 and rapidly become dated. or it could have been written in a slightly higher level custom language and that would also have to be taught and would be less clear about what was going on under the hood. or a kind of pseudo-code that would also admit ambiguity. or it could have been rewritten in pascal, and then java, and then javascript and then rust. given the timespan and the focus on complete analysis of running times and not just asymptotics, in the end maybe it wasn't so terrible a choice. | | |
| ▲ | jcranmer 26 minutes ago | parent [-] | | Well, even as-is, it turns out that the kind of assembly language that Knuth originally wrote it in itself had a very short lifespan. MIX assumes a single accumulator register for arithmetic, which hasn't been a common processor architecture since around the 1980s. MMIX is redesigned to be more RISC, but it also uses a dynamic register window concept (which itself I think was only used on Itanium, and we all know how that architecture went down). And unfortunately, for a lot of modern algorithms, you're going to have dive into SIMD-like algorithms, something MMIX doesn't have. Also, a lot of modern processors have a decent suite of bitwise operations (e.g., count leading/trailing zeros/ones, popcount) that is also missing from MMIX. The programming languages that are in favor may change from decade to decade, but so to does most of the assembly language techniques. |
|
|
|
| ▲ | philips 6 hours ago | parent | prev | next [-] |
| Where can the books be found in PDFs for purchase?! First time I have heard of a non paperback novel. Obviously I know I can probably find them on the high seas. |
| |
| ▲ | ndr 6 hours ago | parent [-] | | From TFA: > The authorized PDF versions can be purchased at www.informit.com/taocp | | |
|
|
| ▲ | small_model 5 hours ago | parent | prev [-] |
| Don't feed the pdfs into Fable, compile a email of errors -> Knuth |
