Logic & formal methods videos
Browse videos about Logic & formal methods, with summaries, creators and original Hacker News discussion links.
33 videos in the full category, ordered by recommendation score.
Videos in this topic
1:07:10Brian Beckman: Don't fear the Monad
59:2328c3: The Science of Insecurity
42:43"Propositions as Types" by Philip Wadler
34:00Math's Fundamental Flaw
24:14The Banach–Tarski Paradox
1:14:48The Future of Mathematics?
59:50Leslie Lamport: Thinking Above the Code
23:46How To Count Past Infinity
40:27"Finding bugs without running or even looking at code" by Jay Parlar
40:39Edwin Brady - Idris 2 - Type-driven Development of Idris
8:00Infinity is bigger than you think - Numberphile
1:12:122017 ACM PPoPP Keynote: It's Time for a New Old Language
43:23Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
36:58"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
29:21Hillel Wayne - Beyond Unit Tests: Taking Your Testing to the Next Level - PyCon 2018
44:09Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010
58:30What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
30:06"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
1:02:34MIT Godel Escher Bach Lecture 1
56:03A Tour of Prolog
56:58Philip Wadler - Propositions as Types (Lambda Days 2016)
36:14Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
39:40"Type-Driven Program Synthesis" by Nadia Polikarpova
38:36"A Little Taste of Dependent Types" by David Christiansen
43:31Analyzing Programs with Z3
6:07How An Infinite Hotel Ran Out Of Room
32:10Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
57:32Five Stages of Accepting Constructive Mathematics - Andrej Bauer
58:37NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
1:06:43