Slashdot Mirror

An anonymous reader writes: When 24-year-old Donald Knuth began writing The Art of Computer Programming, he had no idea that he'd still be working on it 56 years later. This month he also celebrated his 80th birthday in Sweden with the world premier of Knuth's Fantasia Apocalyptica, a multimedia work for pipe organ and video based on the bible's Book of Revelations, which Knuth describes as "50 years in the making."

But Knuth also points to the recent publication of "one of the most important sections of The Art of Computer Programming" in preliminary paperback form: Volume 4, Fascicle 6: Satisfiability. ("Given a Boolean function, can its variables be set to at least one pattern of 0s and 1 that will make the function true?")
Here's an excerpt from its back cover: Revolutionary methods for solving such problems emerged at the beginning of the twenty-first century, and they've led to game-changing applications in industry. These so-called "SAT solvers" can now routinely find solutions to practical problems that involve millions of variables and were thought until very recently to be hopelessly difficult.
"in several noteworthy cases, nobody has yet pointed out any errors..." Knuth writes on his site, adding "I fear that the most probable hypothesis is that nobody has been sufficiently motivated to check these things out carefully as yet." He's uncomfortable printing a hardcover edition that hasn't been fully vetted, and "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 exercises listed on his web site.

Elsewhere he writes that two "pre-fascicles" -- 5a and 5B -- are also available for alpha-testing. "I've put them online primarily so that experts in the field can check the contents before I inflict them on a wider audience. But if you want to help debug them, please go right ahead."

An anonymous reader writes "A 28-year-old man in Sweden has been fined 4.3 million SEK (~650,000 USD) for uploading one movie. 300,000 SEK of that was added because of the upload's low technical quality (Google translation of Swedish original). The court ruled that the viewer watching the pirated version of the movie had a worse experience than people watching it legally, thereby causing damage to the movie's reputation (full judgement in Swedish)."

Xemu writes "Computers don't make children fat, but watching TV for the same length of time does. This is shown by a recent Swedish study of all school children in Lund's county conducted by RN Pernilla Garmy. The results were clear: The child's obesity was directly affected by placing a TV in the child's room, but placing a computer in the room had no effect at all. One theory is that it's common to have a snack in front of the TV, while a computer requires a more active user, for example when chatting or playing games."