Best Logic & formal methods videos, as recommended on Hacker News

32 videos about logic & formal methods that Hacker News commenters keep recommending, mentioned between 2012 and 2026. Mostly talk, lecture, explainer. Channels that come up most: Strange Loop Conference, jasonofthel33t, Veritasium, Vsauce. Sorted by how consistently HN recommended them over the years.

The most recommended is Brian Beckman: Don't fear the Monad: HN repeatedly recommends it as the clearest and most correct beginner explanation of monads, with several commenters saying it finally made them click.

lectureBrian Beckman: Don't fear the Monadjasonofthel33t · 9 HN recommenders · 2012–2024
talk28c3: The Science of Insecurity28c3 · 9 HN recommenders · 2012–2024
talk"Propositions as Types" by Philip WadlerStrange Loop Conference · 9 HN recommenders · 2015–2026
explainerMath's Fundamental FlawVeritasium · 7 HN recommenders · 2021–2024
explainerThe Banach–Tarski ParadoxVsauce · 6 HN recommenders · 2015–2024
talkThe Future of Mathematics?Microsoft Research · 9 HN recommenders · 2019–2025
talkLeslie Lamport: Thinking Above the CodeMicrosoft Research · 5 HN recommenders · 2015–2026
explainerHow To Count Past InfinityVsauce · 6 HN recommenders · 2016–2022
talk"Finding bugs without running or even looking at code" by Jay ParlarStrange Loop Conference · 4 HN recommenders · 2019–2023
talkEdwin Brady - Idris 2 - Type-driven Development of IdrisCurry On! · 4 HN recommenders · 2019–2023
explainerInfinity is bigger than you think - NumberphileNumberphile · 3 HN recommenders · 2014–2022
talk2017 ACM PPoPP Keynote: It's Time for a New Old LanguageGuy Steele · 3 HN recommenders · 2018–2023
talkEdwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18Code Sync · 5 HN recommenders · 2018–2024
talk"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya SiramStrange Loop Conference · 4 HN recommenders · 2017–2022
talkHillel Wayne - Beyond Unit Tests: Taking Your Testing to the Next Level - PyCon 2018PyCon 2018 · 3 HN recommenders · 2018–2023
lectureLec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010MIT OpenCourseWare · 3 HN recommenders · 2017–2018
lectureWhat if Current Foundations of Mathematics are Inconsistent? | Vladimir VoevodskyInstitute for Advanced Study · 3 HN recommenders · 2017–2019
talk"Tackling Concurrency Bugs with TLA+" by Hillel WayneStrange Loop Conference · 3 HN recommenders · 2018–2025
lectureMIT Godel Escher Bach Lecture 1jasonofthel33t · 3 HN recommenders · 2017–2021
tutorialA Tour of PrologThe Power of Prolog · 2 HN recommenders · 2022–2024
talkPhilip Wadler - Propositions as Types (Lambda Days 2016)Erlang Solutions · 2 HN recommenders · 2016–2021
talkBarliman: trying the halting problem backwards, blindfolded - William Byrd, Greg RosenblattClojureTV · 3 HN recommenders · 2017–2024
talk"Type-Driven Program Synthesis" by Nadia PolikarpovaStrange Loop Conference · 2 HN recommenders · 2018–2024
talk"A Little Taste of Dependent Types" by David ChristiansenStrange Loop Conference · 2 HN recommenders · 2018–2023
talkAnalyzing Programs with Z3Compose Conference · 2 HN recommenders · 2016–2021
explainerHow An Infinite Hotel Ran Out Of RoomVeritasium · 1 HN recommender · 2021–2022
talkRobert Moss: Julia and the Next Generation Airborne Collision Avoidance SystemThe Julia Programming Language · 1 HN recommender · 2016–2024
lectureFive Stages of Accepting Constructive Mathematics - Andrej BauerInstitute for Advanced Study · 1 HN recommender · 2018–2026
talkNVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)AdaCore · 1 HN recommender · 2022–2026
lectureScott Aaronson | How Much Math Is Knowable?Harvard CMSA · 1 HN recommender · 2025–2025
talkType-Driven Development in Idris — Edwin BradyScala World · 1 HN recommender · 2019–2024
talkseL4 Is Free – What Does This Mean For You?Linux.conf.au 2015 -- Auckland, New Zealand · 1 HN recommender · 2015–2019