The video loads from YouTube only after you press Play.
A 47-minute video by Bartosz Milewski about theory of computation, on the Computer science shelf. It was posted to r/haskell as “Category Theory Lecture By Bartosz Milewski”.
Bartosz Milewski, Video, 47 min, 2016, on the Computer science shelf
Motivation and philosophy
28 min
What is PLUS times PLUS?2swapMentioned in r/compsci
8 min
Proof That Computers Can't Do Everything (The Halting Problem)udiprodPosted to r/programming: This is the greatest explanation of the Halting Problem I have ever seen, but people keep downvoting it because they don't understand and think it's wrong.
13 min
Lambda Calculus - ComputerphileComputerphileMentioned in r/compsci
11 min
P vs. NP and the Computational Complexity ZoohackerdasheryMentioned in r/math
8 min
Are There Problems That Computers Can't Solve?Tom ScottPosted to r/compsci
10 min
Deterministic Finite Automata (Example 1)Neso AcademyMentioned in r/computerscience
1 h 2 min
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack AcademyMentioned in r/compsci
34 min
Welcome to Your Own Turing Machine v1.0Your Own Turing MachineMentioned in r/computerscience