3 ms·

I think there's a proof that he can at best asymptotically approach volume 7.

• wolfi1 3mo ago
  but what distraction could it be now? There seems to be nothing to be done for TeX
  • kps 3mo ago
    The way I see it: Volume 7 is compilation. Since many optimization techniques are NP-complete, Knuth will have to take a break from writing TAOCP to settle whether or not P=NP.
    • flir 3mo ago
      Three months, tops.