Anyone recommend a video course on the theory of computation? — LessWrong