Computability & Complexity Theory Videos Hacker News Recommends

talk#2

Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich

Confreaks

“perhaps the most entertaining and interesting technical talk I've ever seen.”

17 HN recommenders · 2013–2026

talk#203

28c3: The Science of Insecurity

28c3

“The best talk on computer security I have seen is Meredith Patterson's Science of Insecurity at 28c3”

9 HN recommenders · 2012–2024

talk#212

"Propositions as Types" by Philip Wadler

Strange Loop Conference

“best ~40 minutes I've ever spent.”

9 HN recommenders · 2015–2026

talk#276

Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas

Adrian Crenshaw

“Christopher Domas's conference talk on the movfuscator is legendary”

6 HN recommenders · 2017–2026

explainer#399

Math's Fundamental Flaw

Veritasium

“I found Veritaseum's video about it really clear and instructive”

7 HN recommenders · 2021–2024

talk#427

On The Turing Completeness of PowerPoint (SIGBOVIK)

Tom Wildenhain

“Nerding out should always be hilarious like that!”

8 HN recommenders · 2017–2025

demo#513

Life in life

Phillip Bradbury

“here's a famous and really clear sub-2 minutes representation of the scales involved”

6 HN recommenders · 2013–2025

lecture#525

Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

Fullstack Academy

“they are the most approachable videos on the topic I have ever seen.”

5 HN recommenders · 2019–2024

explainer#530

All the Numbers - Numberphile

Numberphile

“here's a video that explains from the basics what kinds of numbers exist”

6 HN recommenders · 2019–2025

explainer#659

P vs. NP and the Computational Complexity Zoo

hackerdashery

“This 10 minute video is a great introduction to the P = NP problem and computational complexity theory if you have no context.”

4 HN recommenders · 2015–2026

talk#779

Ruby Manor 3 - Programming with Nothing by Tom Stuart

Confreaks

“An awesome video which changed my perspective towards lambda calculus and programming in general”

4 HN recommenders · 2013–2019

tutorial#821

David Beazley - Lambda Calculus from the Ground Up - PyCon 2019

PyCon 2019

“David Beazley gives a brilliant introduction to lambda calculus here”

4 HN recommenders · 2019–2021

lecture#930

Great Impractical Ideas in Computer Science: PowerPoint Programming

Tom Wildenhain

“Strong recommend!”

4 HN recommenders · 2020–2026

talk#1066

Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer

Curry On!

“If you haven't seen it, Might's talk "Winning the War on Error: Solving the Halting Problem and Curing Cancer" is amazing, a must-see.”

3 HN recommenders · 2017–2019

podcast#1125

Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89

Lex Fridman

“accessible intro”

4 HN recommenders · 2020–2023

talk#1486

Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt

Erlang Solutions

“It was interesting hearing them discuss their different thoughts and approaches”

3 HN recommenders · 2019–2026

interview#1495

Stephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #234

Lex Fridman

“A good discussion that touches on these ideas in a fairly accessible way”

3 HN recommenders · 2021–2023

explainer#1518

What P vs NP is actually about

Polylog

“I would highly recommend giving it a watch”

4 HN recommenders · 2024–2026

comedy#1587

SIGBOVIK 2007: Generalized Super Mario Bros. is NP-Complete

suckerpinch

“This guy is a genius and also freakin hilarious”

3 HN recommenders · 2013–2021

lecture#1948

1. Introduction, Finite Automata, Regular Expressions

MIT OpenCourseWare

“Sipser also has corresponding lectures that are available for free on YouTube here”

4 HN recommenders · 2021–2025

lecture#2228

MIT Godel Escher Bach Lecture 1

jasonofthel33t

“They’re great to watch as you work through the book”

3 HN recommenders · 2017–2021

demo#2265

I Built a COMPUTER in Magic: The Gathering

Because Science

“Because Science did a thorough breakdown and demonstration, using actual cards”

3 HN recommenders · 2019–2026

explainer#2675

Extremely Large Numbers 1 - Introduction

Giroux Studios

“I would also recommend Giroux Studios' 'Extremely Large Numbers'[1]”

2 HN recommenders · 2016–2022

podcast#2717

Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124

Lex Fridman

“He has three long interviews on Lex Fridmans youtube channel! I greatly enjoyed watching those those.”

2 HN recommenders · 2021–2023

explainer#3364

Turing & The Halting Problem - Computerphile

Computerphile

“Here's a short video on it”

2 HN recommenders · 2019–2022

interview#3983

Does John Conway hate his Game of Life?

Numberphile

“Conway has said GOL is not something he is particularly pleased got as famous as it did.”

1 HN recommenders · 2015–2024

explainer#4190

What is PLUS times PLUS?

2swap

“I also liked the one on lambda calculus.”

1 HN recommenders · 2025–2026

lecture#4261

Scott Aaronson | How Much Math Is Knowable?

Harvard CMSA

“I learned about it in this Scott Aaronson talk,”

1 HN recommenders · 2025

music#4338

Find the Longest Path

switchbg

“you can listen to a Billy Joel parody that describes the problem in decidedly less academic terms”

1 HN recommenders · 2021–2026

demo#4517

Armok Invaders

BaronWable

“Though I see he has a new project (Armok Invaders) that looks pretty awesome.”

1 HN recommenders · 2016–2025

lecture#4786

SICP / What is "Computer Science" ?

LarryNorman

“Computer Science is a terrible name for this business. First of all, its not a science.”

1 HN recommenders · 2008–2014