MIT 18.404/6.840 [YouTube playlist, ~25 videos](https://www.youtube.com/playlist?list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY) [Full course, with materials](https://ocw.mit.edu/courses/mathematics/18-404j-theory-of-computation-fall-2020/)