Like another comment says this is is not recent - these have been up on YouTube for a while. If you're in the bay area, these are free to attend (and recommended if you're a Knuth fan ofc), but reach early because the seats get filled up. Also at the end of the lecture Knuth gives away free copies of some of his books. These are usually in a pile, and are given first-come-first-serve; which is a polite way of saying there can be a mad rush for them :-)<p>I have been lucky to attend 3 of these in person (technically 4, but I had to leave one early), and more than the lectures themselves, Knuth's attention to detail and enthusiasm have been inspirational. He's 85 now - I would consider myself lucky if I have a third of his mental acuity at that age!<p>TAOCP Vol 4B is the most recent book in the TAOCP series which covers SAT solvers - apparently Knuth's deep dive in the area is recent, in due course of which he implemented a few SAT solvers (5, if i remember right). Talk about dedication. Since I have dabbled in using SAT solvers a bit, this is the volume I got autographed by him at the 2023 talk.<p>An interesting thing that came up was someone mentioned to him that a lot of results in 4B were empirical (including those around the topic he covered this time: dancing cells). His response was that theoretical analyses is still to catch up in these areas, so empirical comparison is the best you can do. I thought that was an interesting parallel to how ML has evolved.