Logic & formal methods Videos Recommended on Hacker News (33)

Logic & formal methods is one of the 150 topics Hacker News readers organize their video recommendations around. These 33 videos each earned real recommendations in real HN threads between 2012 and 2026 — 118 recommendations in total — and they're ranked by how many separate months the community kept coming back to them, not by view count.

Logic and formal verification: proof assistants, Coq, Lean, TLA+, type theory and proofs, SAT solvers, model checking, program correctness, foundations of mathematics, set theory.

Why HN keeps sending people here — on Brian Beckman: Don't fear the Monad: “This video is all you, as a practicing programmer, need to know about monads and it's just 1 hour long.” — an HN commenter, 2015.