Computational Complexity

The following conversation is fictional. --------------------------- ALICE: (Looking over a student's record.) Hmm, let's see. She w...

ITMS 2026 Two years ago I attended the International Manufacturing Technology Show  in Chicago's McCormick Place and found a rather limi...

On September 1, 2026: LANCE:  I'm surprised you haven't blogged about OpenAI solving 10 open math problems. BILL: If I post every ti...

I was working on this week's post on Lean after reading Kevin Hartnett's book  The Proof in the Code: How a Truth Machine Is Transfo...

Richard Stearns (right) and Juris Hartmanis in May 1963. The main theorem from their seminal paper is on the blackboard. Stearns sent Lance ...

Ben Brubaker has a new Quanta essay Does Computer Science Need Computers ?  Despite the title (and authors generally don't choose their ...

BILL: Lance, I have a question and a meta question: a) List all the presidents and vice presidents who were colorblind. b) Do you know this ...

There's a scene in Apollo 13 where Jim Lovell, played by Tom Hanks, asks Houston control to check his calculations, which they do using...