Thank you to OP for posting. Is there a place, besides HN, where I can find more like this? I am interested particularly in that it is about theory of computation and in the fact that it is detailed and substantive, as contrasted with introductory class lectures for sophomores.
(I am aware of the ToC blog feed http://cstheory-feed.org/, which is also a good source to keep an eye on.)