Knuth's Art of Computer Programming Vol. 4 289
_mutators writes "bookpool.com has posted an excerpt from Knuth's long awaited The Art of Computer Programming: Volume 4. It is very short and discusses combinatorial searching. But when will it be published? Bookpool does not hazard a guess."
Additional information (Score:5, Informative)
Mirrors:
http://www-cs-faculty.stanford.edu.nyud.net:8090/
http://www-cs-faculty.stanford.edu.nyud.net:8090/
Re:Additional information is online (Score:2)
Re:Additional information is online (Score:5, Insightful)
Re:Additional information (Score:5, Funny)
Re:Additional information (Score:2)
Re:So who is Art, anyway? How does Mad Magazine fi (Score:2)
According to the story MAD published Knuths "Potrzebie System of Weights and Measures" in 1957. In the article the basic unit of force was named "whatmeworry" and the fundamental unit of length was defined as the thickness of MAD magazine #26. These scientific breakthroughs are now known as the first publication of Professor Knuth - he must be proud.
Re:$2.56 (Score:3, Informative)
The micropayment solutions is simple: They tend not get chached, usually. E.g., I have a few of them on my office wall... :-)
/.ed (Score:3, Funny)
"The Art of Being Slashdotted"
It's been a while. (Score:5, Informative)
It's been a while. Dr. Knuth already finished pre-fascicle 4. Get it here [stanford.edu]. It's far from done (well, according to his plan [stanford.edu]).
Nifty from the Knuth (Score:3, Informative)
It'll be a pleasure to add it to my bookshelf.
Re:Nifty from the Knuth (Score:5, Insightful)
Re:Nifty from the Knuth (Score:2)
Actually, on of my friends was telling me about a conversation she had about what would be a cool superpower, and suggested the ability to touch a book and instantly gain all the knowledge inside. Think of heading to the library and just running your hand down the shelves...
Re:Nifty from the Knuth (Score:3, Funny)
Re:Nifty from the Knuth (Score:2, Insightful)
Many own, few read (Score:5, Insightful)
Re:Many own, few read (Score:2)
TAOCP Volume 2, First Edition, 1969
TAOCP Volume 3, First Edition, 1973
Introduction to Algorithms, First Edition, 1990
Notice the slight gap in publication dates?
Re:Many own, few read (Score:5, Informative)
I used to assume that Knuth simply acknowledged that CS had gotten too big to be summarized by a single introductory text. But it turns out that he's still working on it, even as the size of the project continues to grow. ("Volume 4" will actually be 4 volumes [stanford.edu]!) There's some weird obsession here, possibly characterized by Knuth's abandonment of email [stanford.edu] and certainly connected with his early retirement [stanford.edu].
It's also strange that Knuth still insists providing code for a pseudo machine [stanford.edu]. I'm a CS flunkout, so my opinion isn't worth much, but this does seem to be a thoroughly obsolete idea. Especially when you consider how many effort Knuth expends redesigning the machine!
Re:Many own, few read (Score:4, Insightful)
First, it stops copy-and-pasters. You have to actually read the books to gain knowledge.
Second, it shows the algorithms on a low level. Very good.
Third, as he's said, he doesn't have to update his book when the "language of the decade" changes.
Re:Many own, few read (Score:3, Insightful)
How does it stop c&p? Nobody studies Knuth without a MIX or MMIX emulator at hand.
Besides, if you're stupid enough to study CS without actually reading the code, you have no hope of even BSing your way through a course.
Good that you spend all your effort twidling bits, instead of understanding the algorithm?
Re:Many own, few read (Score:2)
So instead he has to update it for the machine architecture of the decade.
I think he's doing a bit better than "decade."
As he says, part of the reason for MMIX is that many of the concepts needed for a good machine of this type had not been discovered when MIX was around. Now that things are to a state where they can be well-expressed, he's using a new model. Well, that and we tend to use floating point and ASCII these days.
Re:Many own, few read (Score:3, Interesting)
Your other comments rest on the assumption that you can only talk about algorithms by writing code in an actual executable language. But lots of CS books don't do that. They rely on pseudo-code, or they compare implementations in various high- and low-level languages. Even TAOCP is written so you can skip over the MIX parts.
Besides, if the code examples are obsolete in 10 years, so what? Most textbooks require major revision after that long. (Not to be con
Re:Many own, few read (Score:2)
The more I think about it, the more I'm convinced that Knuth had what seemed like a good idea 40 years ago and can't let it go. (Actually, two of them; the other was that he could write a single comprehensive CS textbook.)
If his idea is to write a comprehensive CS textbook, then that probably is a mistake. Whatever comes out of the process certainly is interesting, however.
Your other comments rest on the assumption that you can only talk about algorithms by writing code in an actual executable languag
Re:Many own, few read (Score:3, Funny)
I thought you were supposed to write your own emulator. After all, he does give instructions on page 100 or thereabouts.
Re:Many own, few read (Score:4, Insightful)
Re:Many own, few read (Score:2, Insightful)
Case in point: the first volume of TAOCP was published in the late 1960s. How many systems that were available in the 1960s are still available? None. Even IBM's mainframes have undergone architectural changes between then and now, although they do (or at least should; I don'
Re:Many own, few read (Score:2)
Re:Many own, few read (Score:3, Interesting)
I first met Knuth before I started my doctorate, that was almost twenty years ago. Volume 4 was already notoriously overdue at the time.
I don't think that Knuth's objective is suited to a book any more. The most appropriate form for an encyclopea
Re:Many own, few read (Score:2)
I DO read them! (Score:5, Funny)
That's absolute nonsense. I often will take one of his volumes off the bookshelf, put La Boheme on the stereo (the Pappano recording, of course) , pour myself a glass of Le Montrachet '78, and peruse Prof. Bluth's delightful words. You shouldn't be bitter just because you're too uncouth to understand them.
Re:I DO read them! (Score:2)
And afterwards, a relaxing steam bath powered by the Pentium-4 watercooling kit, and a organic avocado facial to let the pure ephemeral brilliance of Dr. Knuth's equasions sink in.
Re:I DO read them! (Score:2)
Re:I DO read them! (Score:2)
But I personally find MIX assembly language virtually impenetrable. The instruction mnemonics seem to be designed to impede understanding, not assist it, and the damn thing doesn't even have a "return from subroutine" instruction - you have to self-modify a jump! Recursive algorithms become instantly nasty.
I am glad he's changing this to a more modern, RISC-like architecture, which is likely to
Re:Many own, few read (Score:5, Interesting)
While I was growing up in Eastern Europe, it was completely impossible to find any of the volumes. They weren't available for sale and almost all copies had been stolen from the libraries (well, not exactly "stolen" but many people forgot to return the book and would much prefer to pay the library fine).
I eventually managed to get a hold of "Searching and Sorting" for a couple of days and I tried to read it. Needless to say, I didn't get far. One needs months to consume the whole thiing :-)
When I moved to the US, the first thing I did was to buy the series. I couldn't believe that it was actually available in stores! I have to admit though, I still haven't read the three volumes completely - ah, I miss the enthusiasm of my youth.
Didn't somebody say that one should never attempt to read the whole thing ? One should turn to a specific section and read it only when the need arises. That makes me feel better :-)
Re:Many own, few read (Score:5, Interesting)
Re:Many own, few read (Score:4, Funny)
Re:Many own, few read (Score:2, Informative)
Danny.
Re:Many own, few read (Score:2, Interesting)
This was in 1985 and I am still married to the same person.
Re:Many own, few read (Score:2)
I do agree that there are probably quite a few copies of AoCP occupying bookshelves for no reason other than to impress visitors.
Re:Many own, few read (Score:2)
Re:Many own, few read (Score:3, Informative)
After a while, you get a little more curious (or a bit stuck with counting things down to the last epsilon), so you go look at Knuth. Finally, if nothing else works, you sit down and prove it.
Personally, Knuth, Graham & Patashnik, and Hopcroft & Ullman have bailed me out more often th
Sedgewick does it for me (Score:2)
Re:Many own, few read (Score:2)
Re:Many own, few read (Score:2)
Steve Jobs has read them... (Score:4, Funny)
"It's a pleasure to meet you, Professor Knuth," Steve said. "I've read all of your books."
"You're full of shit," Knuth responded.
From folklore.org [folklore.org]
Re:Many own, few read (Score:2)
Re:Many own, few read (Score:2)
The Big White Book of Algorithms is a fine book. It is much more accessable than Knuth (Examples in assembly instead of pseudocode? Please! At that point Knuth is just telling his reader "I'm smarter than you." Yeah, no shit Mr. Theory of Computing. Th
Re:Many own, few read (Score:4, Insightful)
No, they really aren't. They are about algorithms.
Knuth isn't God. His books aren't the Bible. He's just a computer science professor who wrote some books on the topic of algorithms.
Yes, the books are thorough. Yes, they are dense and information packed. But no, they aren't the be-all and end-all of Computer Science.
You may now mod me down for speaking heresy.
Wait a minute! (Score:2)
Correct, so far...
His books aren't the Bible.
Wrong! [knauth.org]
Actually I think that I heard that his motivation for MetaFont (not TeX) was proper typesetting of the Bible, the link above might put you on a trail.
Paul B.
Re:Knuth isn't God.. (Score:5, Funny)
Stallman: "God told me I have programmed the best editor in the world!"
Torvalds: "Well, God told *me* that I have programmed the best operating system in the world!"
Knuth: "Wait, wait - I never said that."
Re:Knuth isn't God.. (Score:5, Funny)
Re:Knuth isn't God.. (Score:5, Funny)
Yes, apparently he was told just to go to the conference, but he considered that advice harmful.
Re:Many own, few read (Score:3, Informative)
According to him, attributed grammars are his big discovery. And since I still see PhD's spawned by his original article, he may be right in that. But it may also be his contributions to early programming languages, or other papers. Hell, he authored literally hundreds of papers (himself, btw; he's not the person to put his name on papers where he wasn't in
Still Waiting (Score:5, Interesting)
I'm still waiting.
Re:Still Waiting (Score:3, Interesting)
Re:Still Waiting (Score:5, Interesting)
"But when will it be published?" (Score:4, Informative)
Re:"But when will it be published?" (Score:2)
Re:"But when will it be published?" (Score:2)
Re:"But when will it be published?" (Score:2)
You can already buy some of it (Score:2, Informative)
Re:You can already buy some of it (Score:5, Funny)
Whichever's out first, I bet Knuth is a lot more stable.
2007 (Score:3, Informative)
Dear Knuth (Score:5, Funny)
After Vol. 4 are you going to do some "prequels?" So 1-4 are actually, say, 3-6, and then the new Vols. 1 and 2 include new special effects capable only in LaTeX2e?
Letter
Re:Dear Knuth (Score:2, Interesting)
My book teaches programming using assembly language on Linux [cafeshops.com]
Re:Dear Knuth (Score:2, Informative)
Spoiler (Score:3, Funny)
review of volumes 1 to 3 (Score:3, Informative)
I'm off to ask Addison-Wesley for a review copy of volume 4!
Danny.
actually, my review of the Bible is here (Score:2)
Actually, my review of the Bible (well, one edition of it, anyway) is here [dannyreviews.com].
Danny.
Question (Score:4, Interesting)
Re:Question (Score:2)
Re:Question (Score:5, Informative)
Well, here's another reason he'd appear on Slashdot: he wrote TeX [ctan.org], which is even today the best free typesetting system. And it beats every commercial typesetting system for typesetting mathematics, which Microsoft, Adobe and others don't have a clue about after 20 years of research (indeed, most scientific publishers use TeX/LaTeX). You'll find it on your linux box: among other things, GNU TeXinfo uses it for printable manuals.
And yes, that's still the same Knuth -- he wrote TeX because he was unhappy with the publishers' typesetting of TAOCP.
Apples to oranges. (Score:5, Insightful)
I don't think anyone really writes PS directly, unless they're l33t hackers. (There is that tiny snowflake [pvv.ntnu.no] program that prints a different snowflake every time. That's pretty darn nifty.
But little to do with typesetting. You'd want to compare TeX to Adobe InDesign or QuarkXPress, I suppose. Comparing it to MS Word is a frickin' joke.
--grendel drago
Re:Apples to oranges. (Score:2)
I think that's the first time I've ever been called a l33t hacker. My current personal project has one output option where it processes a PS file I hand-wrote and replaces certain special comments with the values to display.
In addition, Sabin (of Doo-Sabin fame) lectures a graphics course in which he starts with PS so that people can use it to do the exercises. (His lecture notes were my first PS tutorial).
Re:Apples to oranges. (Score:5, Insightful)
MS-Word is the archetypal "WYSIWYG" typesetting system, with all of its seemingly low-barrier-of-entry appeal. It is completely state of the art. The limitations of word are not so much due to the model (what you see is *only* what you get) than the implementation.
People have written whole books in Word and even swear by its facilities (e.g. indexing, outline view, etc)
In contrast TeX is more of a "what you mean is what you get" system. It enforces the rules of the Chicago Book of Style for you in a relatively straighforward manner. You enter the data structure of the document, it produces something up to publishing standards immediately. It is incredibly productive but not of obvious usage to anyone. In TeX to produce a document you have to find an editor, a command line and invoke the TeX compiler (yes I do know about things like LyX, TeXShop and the like, they are but a crutch to the TeX afficionado, although they might lower the barrier of entry somewhat).
In Word you just type away. You *will* make stylistic mistakes that TeX would not allow you to get away with, but it does look easier at first glance, and even long-time TeX users have to fight with the system to sometime get the result they would like to see (like "put that damn figure on *this* page, not the other page, dammit!") although what TeX does is usually the correct,proper way.
No prize for deciding which is the eventual winner however, except in the category of "ease of use for single-page, no frills documents", and even then...
TeX is not meant for desktop publishing though. You would not be able to put together a glossy magazine in TeX without considerable efforts, and so doesn't really compare with Quark or Indesign.
For DTP the free alternative is Scribus [scribus.org.uk].
Re:Apples to oranges. (Score:3, Interesting)
I've personally never seen a good wysiwyg equation editor. I've used several, and the pain and suffering I went through made me swear off everything but LaTeX. I personally don't see how you could use as many symbols as LaTeX gives you access to in a quick way, using a GUI. On top of that, MS Office has implementation problems. If I wanted my mathematical symbols to turn into freaking
Re:Apples to oranges. (Score:4, Funny)
Most of us swear at Word's facilities.
Re:Question (Score:3, Interesting)
Well I am not sure that's entirely true. He ushered in the 'field' of analysis of algorithms and suggested the use of the O-notation (of course he didn't 'invent' the notation). Also, I believe a lot of the parsing theory used in compilers actually stems from Knuth's early work. His contribution to theoretical CS is rather sizeable in my opinion (which is certainly biased being a student in his Dept.) and you should be able to discover that for yourself to
The Childe Knuth (Score:5, Funny)
There's a fun bit in (Score:5, Interesting)
The Atrocity Archives is a way cool book, I heartily recommend it to /. geeks. Stross used to work as a programmer/sysadmin so it's a lot of fun if you've ever worked in IT.
The wrong volume 4 won! (Score:2)
For many years, I wondered which volume 4 would win the race; this one or Star Wars. Too bad the wrong one won!
Re:The wrong volume 4 won! (Score:2)
As you say, that was Episode 4. "Volume 4", at least in the race between Knuth and Lucas, was effectively Episode 1. But it's all lost if one has to explain the joke. :-)
Photo of the cover! (Score:5, Funny)
Knuth Vaporware (Score:2)
Bookpool! (Score:3, Informative)
Their prices are usually the best around, and they ship things out quick. So after the slashdotting, be sure to check them out for tech books.
I'm curious... how many people had heard of them before today?
Re:Kill Yr Idols: Donald Knuth (Score:4, Insightful)
Re:Kill Yr Idols: Donald Knuth (Score:2)
Also (La)TeX has become de rigeur for publishing in scientific journals. Compare the submission guidelines [aps.org] for sending an article to any The Physical Review journals in any of the TeX variants they prefer to that of doing a submission with MS Word. The American Mathematical Society [ams.org] apparently won't even accept papers typeset in anything other than LaTeX.
For scientific publishing, LaTeX really is the way to go.
Re:Kill Yr Idols: Donald Knuth (Score:2)
You forgot to mention that they have a Word to LaTeX convertor, and that they subsequently convert everything to the XYVision [yvision.com] content-management and typesetting system, which is not LaTeX (although they might have a TeX engine for the equations) As much as I like LaTeX, it is not suitable for producing a journal that has hundreds of
Re:Kill Yr Idols: Donald Knuth (Score:5, Funny)
Hey now, that was a pretty low blow. Many of us hate Mountain Dew.
Re:Kill Yr Idols: Donald Knuth (Score:5, Funny)
Why are you getting so worked up about an improvement by only a constant factor?
Theoretically, the methods are equivalent... In fact, as the number of Knuth's books goes to infinity, the overhead of having to call the typesetters each time will overcome the one-time expense of writing the typesetting language.
Eh, mediocre at best. (Score:5, Insightful)
like, for example, page numbering starting on a number other than 1 I didn't know how to do that. I googled for it. No nine megabytes of C code involved. And a real troll would have seized on TeX being written in WEB, the Pascal-like "literate programming" language that Knuth designed himself. A real troll would have further complained that most hacking is really done using TeX's own macro system, which can be weird and baroque a lot of the time.
And how did "Knuth" become "Bluth" halfway through? If it's a joke about the Mormon animator, follow it through.
And dear god, man, there may be better ways of separating content and presentation---standards-compliant HTML with CSS, anyone?---but MS Word is not it. I've seen documents that have gone through many hands, serious works that involve difficult formatting... and it ain't pretty. Word is simply not a serious typesetting tool. Talk about InDesign or QuarkXPress if you want to go on about that.
LaTeX also allows the use of standard PostScript fonts with a quick in the preamble, but I kinda like the cm fonts myself.
Also, I'm not sure where the complaints about needing to edit incomprehensible jargon to correct typos came from. Text is represented as... plain old text. When is it any other way? Math is hard to read if it's badly written or you're not used to it, but it's no worse than it has to be, to my eyes.
Is it a sign of the incredible good design of TeX that the Adequacy people couldn't find very many real flaws to harp on? Or does Adequacy simply suck ass? I fear it to be the latter; I have plenty of nits to pick with TeX, but this reads like it was written by someone who heard of TeX once, and decided to write a rant about it. Frickin' weak.
--grendel drago
Re:Eh, mediocre at best. (Score:2)
Don't know about the former, but the latter is definitely true. Adequacy.org was self-described as site about "Controversial opinions, passionately held". In reality, it was a annoying loudmouth site full of smug contrarians obsessed with their own superiority. Hard to tell whether the site operators actually believed this, or
Re:Eh, mediocre at best. (Score:4, Insightful)
However for the vast majority of day to day office work, documents are often formatted and reformatted till the 'Aha!' feeling comes.
There was a time when a typewriter was adequate for day-to-day office work. Word processors solved the main problem of typewriters, which was the difficulty of making corrections and revisions. The first word processors used printers that were little more than high-speed typewriters.
Elaborate typography resulted from the invention of cheap laser printers. However, even then, typography was more of a by-product. The main advantage of laser printers was speed. The speed of the laser printer further augmented the main function of word processors by allowing even faster corrections and revisions.
Typography has added an extra level of corrections and revisions. I suspect that today more time is spent fiddling with the typograpy than the content of the document. The reasons is that in the distant past, typesetting lent authority to a document because it suggested that it was important enough to go to the enormous extra trouble and cost of having it typeset. The typeset appearance is now the minimum standard so that a document without a typeset appearance has almost as little appearance of authority as a handwritten version.
In terms of efficiency, the optimal use of a word processor would be with a monospaced font with bolding, italicizing and different font sizes kept to a minimum. Such documents could be formatted in a markup language like Tex or HTML almost as efficiently as in a WYSIWYG processor. The small loss of efficiency would be recovered by the extra flexibility of managing the document as text in version control and content management systems and by making it easier to re-publish it in different formats (e.g. pdf, Web pages).
Moreover, by using style sheets to mark up the document, a document formatter would automatically apply the enhanced typograpy, giving the required appearance of authority.
The missing ingredient is a standard for the appearance for day-to-day documents, which would allow for the definition of style sheets. The absence of such a standard in most corporations indicates that corporations probably don't really understand document management.
The absence of the standard also appeals to another human frailty: the desire to put your own typographical stamp on the appearance of a document even when you did not create the content.
Re:Kill Yr Idols: Donald Knuth (Score:5, Insightful)
It is true that LaTeX has a steep learning curve, but I wouldn't call \section an unintuitive way of inserting a section heading. You say (La)TeX output is ugly? I assume you have never seen the excessive spacing Word frequenly add s between words (and sometimes even between letters!). I assume you have never had to wrestle a figure into place only to have it wrap around to the next page (if you used paragraph or character anchors) or stuck on a page it shouldn't be (if you used page anchors). Those figures cause ugly half-open pages. By the way -- if you hate the default font, just change it! Use Times New Roman (or even some sans-serif monstrosity, if you feel daring) and everything will look a bit more familiar.
I wouldn't advocate the use of (La)TeX for casual users who 'just want to type and select pretty fonts', but for anything more than a few pages, Word falls on its face.
Re:Kill Yr Idols: Donald Knuth (Score:2, Informative)
But seriously, in the past I've been forced to write 40 and 50 page manuscripts (dense with equations) in Word. I recall spending more time debugging the bloody equation numbering than actually writing the prose.
MSW for technical text? Just say no.
Re:Kill Yr Idols: Donald Knuth (Score:2)
Re:Kill Yr Idols: Donald Knuth (Score:4, Insightful)
You have to consider: it is called Word. It could have been called Sentence or Paragraph or even Book.
But it is called Word...
Re:Kill Yr Idols: Donald Knuth (Score:5, Informative)
As will be learned in an introductory course in computer science, a key property of the Halting Problem is that it cannot be solved by a language which is only Turing-complete (isomorphic to a Turing machine). There is thus a strong inclination to believe that you do not, in fact, know what the halting problem is and have just inserted a term which you have at some point heard used in conjunction with Turing machines into your essay in a failed attempt to impart a touch of intellectual sophistication. This calls the rest of the piece into question as well; how many times did you gamble on something you didn't understand an manage to produce a brief allusion which is not visibly incorrect?
"... results that look distinctly worse than if you'd used MS Word..."
If your assertion is that Times New Roman and Courier are better-looking than Computer Modern, you're putting yourself at odds with industry and academia alike. It's a noble attempt to take up the mantle of Gallileo, but you must remember than in order to be persecuted for being right one must first be right.
TeX is the best mathematical typesetting system available today, and is used for all major mathematical journals for this reason. As TeX is generally used to produce postscript output, it's quite easy to make use of any postscript font one wishes, but computer modern should really suffice in most cases.
"Like Schubert's Unfinished Symphony..."
The first movement of Shubert's unfinished symphony stands on its own, almost as a sort of program piece, and this is why the symphony is so popular. Nobody expects a third movement, and indeed very few particularly care for the second.
Having shown a complete lack of the most basic knowledge in relation to mathematics, computers, music, literature, and several other areas of knowledge, you should strongly consider returning to school and completing your high school degree in order to help you form coherent, relevant essays if you wish to further pursue book criticism.
If TeX is too hard.... (Score:4, Informative)
use Lyx, very good quality output - as printout, PDF or HTML and easier to use than MS Word.
Re:If TeX is too hard.... (Score:2)
Breadth-first preferred [Re:Version 4!] (Score:2)
However I agree with you in that I'd prefer Dr Knuth to proceed with the completion of his book series in a breadth-first fashion rather than depth-first (i.e., dropping the habit to take a few years off to revise all existing volumes every couple of years). This would even able other people to assist him in refining the set and filling in the gaps; maybe he could even set up a wiki for the non-existing v