48:36Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!
3 HN recommenders
Theory of computation: Turing machines, halting problem, P vs NP, complexity classes, lambda calculus, automata, Church-Turing, Goedel incompleteness, computability.
48:36Curry On!
3 HN recommenders
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes