Recent News

[click here to zip down to the schedule of public lectures]

Nomenclaturing: Let's Ture to the Max!

Please help honor Alan Turing by adding a necessary new verb to the English language.

A foretaste of Volume 4B

Volume 4B of The Art of Computer Programming will begin with a special section called ‘Mathematical Preliminaries Redux’, which extends the ‘Mathematical Prelimaries’ of Section 1.2 in Volume 1 to things that I didn't know about in the 1960s. Most of this new material deals with probabilities and expectations of random events; there's also an introduction to the theory of martingales.

You can have a sneak preview by looking at the current draft of pre-fascicle 5a (39 pages), last updated 30 April 2013. As usual, rewards will be given to whoever is first to find and report errors or to make valuable suggestions. I'm particularly interested in receiving feedback about the exercises (of which there are 99) and their answers (of which there are 99).

There's stuff in here that isn't in Wikipedia yet!

I worked particularly hard while preparing some of those exercises, attempting to improve on expositions that I found in the literature; and in several noteworthy cases, nobody has yet pointed out any errors. It would be nice to believe that I actually got the details right in my first attempt; but that seems unlikely, because I had hundreds of chances to make mistakes. So I fear that the most probable hypothesis is that nobody has been sufficiently motivated to check these things out as yet.

I still cling to a belief that these details are extremely instructive, and I'm uncomfortable with the prospect of printing a hardcopy edition with so many exercises unvetted. Thus I would like to enter here a plea for some readers to tell me explicitly, ``Dear Don, I have read exercise N and its answer very carefully, and I believe that it is 100% correct,'' where N is one of the following exercises in prefascicle 5a:

Remember that you don't have to work the exercise first; you're allowed and even encouraged to peek at the answer. Please send success reports to the usual address for bug reports (taocp@cs.stanford.edu), if you have time to provide this extra help. Thanks in advance!

New Updates to Computers & Typesetting

Spiffy new printings of the hardcover versions of The TeXbook, TeX: The Program, and The METAFONTbook came out last year, and I'm delighted to announce that the other two volumes are also now available---produced for the first time entirely with modern technology! Hurray! For me this represents the grand culmination of my decades of work on typography. Now is a perfect time to replace any old copies that have become dog-eared after years of (ab)use.

The five volumes of this series are called Volumes A, B, C, D, and E, although they also have individual names. Thus, the definitive versions of Volumes A, B, C appeared in 2012, and they now are joined by the new and improved Volumes D and E.

Volume D, METAFONT: The Program, contains the complete text of one of the three most interesting programs that I ever wrote (the other two being TeX and MMIX-PIPE). METAFONT includes numerous subalgorithms of independent interest with respect to rendering curves, manipulating splines, solving linear equations dynamically, processing “object-oriented macros,” etc.

Volume E, Computer Modern Typefaces, is a “coffee-table book,” which defines exactly how every letter and every symbol that appears in any of my books (including this one) are drawn electronically by simulated pens. Each character is illustrated at large scale on the left-hand pages, with labeled control points, and accompanied by METAFONT code to its right.

(Click here for further details.)

Public lectures in 2013

Although I must stay home most of the time and work on yet more books that I've promised to complete, I do occasionally get into speaking mode. Here is a current schedule of events that have been planned for this year so far:

Wednesday May 8, 5:00pm in Lecture Theatre A
speaking on “A Simple Lower Bound For Resolution” at the Oxford University Department of Computer Science
Thursday, May 16, 5:30 pm in lecture hall EI 7 (Gußhausstraße 27--29, 1040 Vienna)
presenting the first annual “Vienna Gödel Lecture” of the Faculty of Informatics at Vienna University of Technology
Tuesday, May 21, 10:00 am in Informatik Building SCP3, room HS1, Johannes Kepler University (Linz)
speaking informally about my experiences with SAT solving
Tuesday, May 21, 11:30 am in Informatik Building SCP3, room HS1, Johannes Kepler University (Linz)
“All Questions Answered”
Sunday, June 9, 4pm
Playing the organ briefly, together with several other organists, as part of the tenth anniversary celebration of the Casavant pipe organ at First Lutheran Church in Palo Alto

Click here for the ``recent news'' that was current at the end of 2012, if you're interested in old news as well as new news.

Don Knuth's home page

Valid HTML 4.01 Transitional