48:36Matt Might - Winning the War on Error Solving the Halting Problem and Curing CancerCurry On!9K views · 3 HN recommenders · 2017–2019
20:05But what are Hamming codes? The origin of error correction3Blue1Brown3.1M views · 4 HN recommenders · 2020–2023
8:00Infinity is bigger than you think - NumberphileNumberphile7.7M views · 3 HN recommenders · 2014–2022
3:11:09Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89Lex Fridman1.8M views · 4 HN recommenders · 2020–2023
1:01:47Four Solutions to a Trivial Problem - Guy Steele Jr.Google TechTalks36K views · 4 HN recommenders · 2017–2023
21:14The medical test paradox, and redesigning Bayes' rule3Blue1Brown1.4M views · 4 HN recommenders · 2020–2025
1:30:45The Simple Essence of Automatic Differentiation - Conal ElliottMicrosoft Research17K views · 3 HN recommenders · 2018–2023
4:08e^(iπ) in 3.14 minutes, using dynamics | DE53Blue1Brown3.4M views · 4 HN recommenders · 2020–2021
1:01:40Four Dimensional Maths: Things to See and Hear in the Fourth Dimension - with Matt ParkerThe Royal Institution3.1M views · 3 HN recommenders · 2017–2022
1:12:122017 ACM PPoPP Keynote: It's Time for a New Old LanguageGuy Steele7K views · 3 HN recommenders · 2018–2023
27:42Mark DiMarco: User Interface Algorithms [JSConf2014]JSConf52K views · 4 HN recommenders · 2014–2018
13:44Is AI Safety a Pascal's Mugging?Robert Miles AI Safety 388K views · 3 HN recommenders · 2019–2026
3:35How our voting system (and IRV) betrays your favourite candidateThe Center for Election Science35K views · 5 HN recommenders · 2014–2023
51:47Lecture 19: Dynamic Programming I: Fibonacci, Shortest PathsMIT OpenCourseWare2.9M views · 4 HN recommenders · 2016–2021
24:02How to: Work at Google — Example Coding/Engineering InterviewLife at Google7.6M views · 2 HN recommenders · 2017–2020
41:44Numberphile v. Math: the truth about 1+2+3+...=-1/12Mathologer3.3M views · 4 HN recommenders · 2020–2023
4:07Why do competitors open their stores next to one another? - Jac de HaanTED-Ed7.4M views · 3 HN recommenders · 2015–2025
43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18Code Sync20K views · 5 HN recommenders · 2018–2024
12:04Anagrams, but where you can break apart letters: "Anagraphs"suckerpinch256K views · 3 HN recommenders · 2020–2023
13:37Times Tables, Mandelbrot and the Heart of MathematicsMathologer2.8M views · 4 HN recommenders · 2017–2023
1:04:00CppCon 2015: Sean Parent "Better Code: Data Structures"CppCon106K views · 3 HN recommenders · 2016–2021
46:06Lower Latency Graph Queries in Cypher with Redis GraphRoi Lipman, Redis LabsTim Davis, Texas A&M URedis3K views · 3 HN recommenders · 2018–2023
36:58"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya SiramStrange Loop Conference26K views · 4 HN recommenders · 2017–2022
14:28Superpositions, Sudoku, the Wave Function Collapse algorithm.Martin Donald765K views · 3 HN recommenders · 2021–2022
1:06:45Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl HewittErlang Solutions13K views · 3 HN recommenders · 2019–2026
