3 ms·

What a coincidence, I just started watching his Programming Languages Theory lectures. Seems like a wonderful professor.