Theory of computation

8 min Proof That Computers Can't Do Everything (The Halting Problem)udiprod

Posted 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.

34 min Math's Fundamental FlawVeritasium

Mentioned in r/math: Absolute gorgeous mathematics channel like 3blue1brown

29 min How do Graphics Cards Work? Exploring GPU ArchitectureBranch Education

Posted to r/hardware: How do Graphics Cards Work? Exploring GPU Architecture

13 min Lambda Calculus - ComputerphileComputerphile

Check out the computerphile video on Lambda Calculus. It’s simple and includes two exercises as well (kind of). Edit: The link.

Mentioned in r/compsci

11 min P vs. NP and the Computational Complexity Zoohackerdashery

P vs NP and the Complexity Zoo Sad to see this is the only video this guy made.

Mentioned in r/math

2 min Fourier Series Animation (Square Wave)Brek Martin

I'd love to see a video on Fourier series, perhaps animating some interesting periodic functions. There are a lot of videos with nice visualizations, but I haven't found any with the nice accompanying mathematical explanation like in 3b1b videos. Perhaps it could even be tied together with some other existing vi

Mentioned in r/3Blue1Brown

8 min Are There Problems That Computers Can't Solve?Tom Scott

I've been aware of The Halting Problem since university, but it's not until Tim Scott just did a video on it that I realized a basic question: Alan Turing proved that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist by coming up a counterexample t

Posted to r/compsci

10 min Deterministic Finite Automata (Example 1)Neso Academy

…understand Deterministic Finite Automata and Regular Languages and how we use them to break down computable problems into states. Heres a good short video ​ Hope this helps! ​ Side note: This is some upper level CompSci stuff, I learned this my junior year so it assumes

Mentioned in r/computerscience

1 h 2 min Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScriptFullstack Academy

Hope no one did already answer that. Sorry if anyone did. This is the one video that i think you need to watch:

Mentioned in r/compsci

34 min Welcome to Your Own Turing Machine v1.0Your Own Turing Machine

If you're interested, the YouTube video Welcome to Your Own Turing Machine v1.0 has more information about it. You can use it to experiment with Turing Machines, see what's possible and what's not, etc. If you have a few minutes to spare, it may be worth your time to

Mentioned in r/computerscience

22 min Programming with Math | The Lambda CalculusEyesomorphic

Posted to r/functionalprogramming: Programming with Math | The Lambda Calculus

4 min How Gravity Makes Things FallEdwardCurrent

Lighter Side -- Less Technical Short Demo Video of visualizing gravity warping space-time The physics of helicopters via multiple videos [60 Symbols - wide

Posted to r/Physics

Playlist Introductory category theory lectures — Steve AwodeySteve Awodey

Posted to r/math: Great introductory lectures on category theory by Steve Awodey