TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Discovering errors in Donald Knuth's TAOCP

207 点作者 glth2 个月前

14 条评论

svat2 个月前
My Knuth checks amount to a total account balance of 0x$b.40 at his &quot;Bank of San Seriffe&quot; (the equivalent of eleven &quot;errors&quot; and two &quot;suggestions&quot;) — mostly accumulated over a short period several years ago.<p>Previously, I had the impression that Knuth was some magical figure of perfection. What I realized was that the truth was more surprising: he makes the same kinds and the same frequency of errors as anyone else (in fact likely more, because every page is packed with a lot of detail); what sets him apart is that he cares so deeply about getting everything right — he has basically invited a DDoS on his time and attention, where every person in the world is strongly encouraged to write to him with errors on every page that he has ever written over several decades — and he does go back and look at all of them carefully (example: <a href="https:&#x2F;&#x2F;retrocomputing.stackexchange.com&#x2F;questions&#x2F;18117&#x2F;which-computers-did-donald-knuth-mix-together-to-get-mix&#x2F;18176#comment66965_18176" rel="nofollow">https:&#x2F;&#x2F;retrocomputing.stackexchange.com&#x2F;questions&#x2F;18117&#x2F;whi...</a>); and despite all this he somehow continues to function, producing new pages at a nonzero rate. After some experience with his responses (handwritten with pencil on a printout of the emails sent to him), I came away even more impressed.
评论 #43305189 未加载
nickdrozd2 个月前
Great post. Some general takeaways for people who want Knuth checks:<p>1. You are unlikely to find errors in the algorithms themselves, especially if they&#x27;ve been officially published. You might find some infelicities, but these are not counted as full errors. For example, the author here found some confusing-but-not-wrong comments about local variables and unused registers. These are counted as &quot;suggestions&quot; (worth 0x20¢) rather than &quot;errors&quot; (worth 0x$1.00).<p>2. Knuth is pretty generous with credit -- if your suggestion leads him to find an error, you get credit for the error. The author here said that some defined variables went unused. Knuth pointed out that those variables were in fact used in an exercise. However, in looking this up he noticed a variable-related error in that exercise. Author is credited with 0x$1.00!<p>3. Exercises are more likely to contain errors and infelicities than the main text. And there are an awful lot of exercises.<p>4. Knuth includes a whole bunch of stuff in his books that is not related to CS. Lots of weird trivia and references. This stuff is more likely to be wrong than the main text. For example, Knuth mentions &quot;icosahedral objects inscribed with Greek letters&quot; and includes a reference to an article in the <i>Bulletin de l’Institut français du Caire</i>. But the author points out that the article is actually in the <i>Bulletin de l’Institut français d’archéologie orientale</i>. Whoops! 0x$1.00 for you!
评论 #43302476 未加载
评论 #43302253 未加载
评论 #43304065 未加载
评论 #43304324 未加载
jll292 个月前
I&#x27;ve emailed DEK to point out that the first person to break Enigma was not actually Alan M. Turing (as stated in one of the recent pre-fascicles) but the Polish mathematician Marian Rejewski (Turing&#x27;s contribution was to automate the task, which was important because the rotors&#x2F;settings were reconfigured by the German Wehrmacht every morning).<p>Bletchley Park now has a prominent bust of Rejewski that credits his accomplishment. The Polish wisely passed on their knowledge to the British to keep the intel safe, because they expected a German invasion.<p>On another note, I hope Professor Knuth has a continuity plan in place that ensures that his book series gets completed despite his advanced age (I&#x27;m worried about that, but tact prohibited me from asking, of course).
评论 #43302783 未加载
评论 #43305812 未加载
jgrahamc2 个月前
I have a Knuth cheque from back when he sent out real cheques. Or at least I did; for some reason I decided that cashing it was a good idea and so I have his note back to me and a photocopy of the actual cheque.
评论 #43304451 未加载
评论 #43303093 未加载
评论 #43303803 未加载
评论 #43302046 未加载
评论 #43302015 未加载
zabzonk2 个月前
A long while back I wrote an answer on Stack Overflow to a question that asked &quot;How to read TAOCP?&quot; my answer looked something like this:<p>- don&#x27;t read them<p>- get all the books, put them in a bin bag and shake vigorously with some lumps of coal, to give them that &quot;used&quot; look<p>- go through the books, underline things at random and make notes (also at random) in the margin such as &quot;how true&quot;, or even better &quot;wrong!&quot;<p>- put books on shelf in office - never look at them again<p>This has worked for me, though I must admit that Searching &amp; Sorting and stuff about random numbers are pretty good.<p>I got my copies free from Addison Wesley for doing some book reviews for them - not reviewing Knuth, needless to say!
评论 #43302805 未加载
评论 #43305675 未加载
评论 #43312000 未加载
nwellnhof2 个月前
The inventor of the bug bounty.
ks20482 个月前
Another top story on HN right now is how LLMs are finding errors in research papers.<p>Maybe an LLM winning a Knuth bug bounty is a milestone on the path towards “AGI”?
评论 #43310877 未加载
ForOldHack2 个月前
TOACP The Art of Computer Programming, Volumes 1~4c<p><a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;The_Art_of_Computer_Programming" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;The_Art_of_Computer_Programmin...</a><p>Kudos to everyone who found bugs, and got the bounty. Congrats to everyone who used these to get their PhD-CS
评论 #43304745 未加载
rgovostes2 个月前
I haven&#x27;t read TAOCP myself, but if I recall a lecture that Knuth gave, his algorithm analyses sometimes include cycle counts for his virtual MMIX architecture. He mentioned that these are counted by hand. If I were seeking a reward check, I would write a verifier to look for errors there.
WillAdams2 个月前
Nice! When I reported an error and a point of improvement in _Digital Typography_ the address was printed and glued on, not hand-written, which somewhat detracts from the display of the check&#x2F;envelope.<p>Need to find another error so I can get an account....
评论 #43301919 未加载
vzaliva2 个月前
&quot;he decided against breaking up Algorithm X between different pages&quot;<p>He should have used TeX ;) I&#x27;ve heard handles such layout problems automatically.
gblargg2 个月前
Does the bank really read the amounts as hexadecimal?
评论 #43302473 未加载
potus_kushner2 个月前
would like to read, but the site uses some clownflare alternative, that just like clownflare tries to verify my browser (palemoon), and then comes to the conclusion that my browser isn&#x27;t a browser.
mmooss2 个月前
OT: Will Knuth&#x27;s lifetime of work be used for learning input in AI systems, and does he control that?<p>An AI application might make a good search interface for Knuth&#x27;s opus.
评论 #43303795 未加载