All videos
The complete catalog of videos Hacker News keeps recommending. Search it, filter it by area, or sort it by recommendation strength.
33 videos
1:07:10Brian Beckman: Don't fear the Monad
jasonofthel33t
2012Software Engineering & Languages16 HN mentions
42:43"Propositions as Types" by Philip Wadler
Strange Loop Conference
2015Mathematics & Theoretical CS20 HN mentions
59:2328c3: The Science of Insecurity
28c3
2011Systems, Networks & Security13 HN mentions
34:00Math's Fundamental Flaw
Veritasium
2021Mathematics & Theoretical CS15 HN mentions
24:14The Banach–Tarski Paradox
Vsauce
2015Mathematics & Theoretical CS12 HN mentions
1:14:48The Future of Mathematics?
Microsoft Research
2019Mathematics & Theoretical CS14 HN mentions
59:50Leslie Lamport: Thinking Above the Code
Microsoft Research
2014Mathematics & Theoretical CS12 HN mentions
23:46How To Count Past Infinity
Vsauce
2016Mathematics & Theoretical CS10 HN mentions
8:00Infinity is bigger than you think - Numberphile
Numberphile
2012Mathematics & Theoretical CS5 HN mentions
40:39Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!
2019Software Engineering & Languages5 HN mentions
40:27"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference
2019Mathematics & Theoretical CS4 HN mentions
36:58"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
2017Software Engineering & Languages11 HN mentions
43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
2018Software Engineering & Languages11 HN mentions
1:12:122017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele
2017Software Engineering & Languages4 HN mentions
29:21Hillel Wayne - Beyond Unit Tests: Taking Your Testing to the Next Level - PyCon 2018
PyCon 2018
2018Software Engineering & Languages3 HN mentions
30:06"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Strange Loop Conference
2017Mathematics & Theoretical CS5 HN mentions
36:14Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV
2016Software Engineering & Languages4 HN mentions
44:09Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010
MIT OpenCourseWare
2012Ideas, Learning & Language3 HN mentions
1:02:34MIT Godel Escher Bach Lecture 1
jasonofthel33t
2012Ideas, Learning & Language3 HN mentions
58:30What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Institute for Advanced Study
2012Mathematics & Theoretical CS3 HN mentions
56:58Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
2016Mathematics & Theoretical CS3 HN mentions
56:03A Tour of Prolog
The Power of Prolog
2022Software Engineering & Languages3 HN mentions
39:40"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
2018Mathematics & Theoretical CS4 HN mentions
6:07How An Infinite Hotel Ran Out Of Room
Veritasium
2021Mathematics & Theoretical CS4 HN mentions
38:36"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
2018Software Engineering & Languages3 HN mentions
43:31Analyzing Programs with Z3
Compose Conference
2016Mathematics & Theoretical CS3 HN mentions
58:37NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
2020Mathematics & Theoretical CS7 HN mentions
46:36Type-Driven Development in Idris — Edwin Brady
Scala World
2015Software Engineering & Languages5 HN mentions
32:10Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language
2015Engineering, Transport & Making4 HN mentions
49:45seL4 Is Free – What Does This Mean For You?
Linux.conf.au 2015 -- Auckland, New Zealand
2015Systems, Networks & Security3 HN mentions
57:32Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Institute for Advanced Study
2016Mathematics & Theoretical CS3 HN mentions
1:06:43Scott Aaronson | How Much Math Is Knowable?
Harvard CMSA
2025Mathematics & Theoretical CS3 HN mentions
31:00ALAIN COLMERAUER L'AVENTURE PROLOG
Prolog Heritage
2022Computing History & Culture4 HN mentions