3 HN users recommended this talk3 months2017–2019score 4.5
Years with an HN recommendation, 2007–2026
Recommended as a jaw-dropping, must-see talk that gives an amazing intro to static analysis alongside Might's personal story.
Matt Might's Curry On talk on ending errors in code, both software and the human genome. He covers conservative approximation of the halting problem via static analysis and a computational approach to precision medicine.
“If you haven't seen it, Might's talk "Winning the War on Error: Solving the Halting Problem and Curing Cancer" is amazing, a must-see.” (HN, 2019)
Matt Mights "Winning the War on Error: Solving the Halting Problem and Curing Cancer" is one that is well worth watching. [this video] previous discussion on it: [link]
Matt Might talk on solving the halting problem and curing cancer.
Matt Might (the subject of this article) gave a jaw-dropping talk a year ago, named "Winning the War on Error - Solving the Halting Problem and Curing Cancer" [1]. At least you can't blame him for the lack of ambition! But the best part is he's really getting it done. His security research led to developing very successful static analysis tools that exposed security bugs in real code. And he did manage to find a treatment for his own son's rare genetic disorder. [1] [this video]
Ambitious talk by Matt Might on static analysis and curing disease.
If you haven't seen it, Might's talk "Winning the War on Error: Solving the Halting Problem and Curing Cancer" is amazing, a must-see. It tells some of the same story, also is an introduction to static analysis..and cancer. [this video]
Amazing intro to static analysis and Might's personal story.
Video list and Hacker News comment labels from HackerTube (prompted by @karpathy), released under ODC-By 1.0, built on the open-index/hacker-news archive. Hacker News data is provided by Y Combinator; comments remain the work of their authors. Video titles, channel names and thumbnails belong to their creators and are shown via YouTube. HackerTube Watch is an unofficial edition. Data export of 2026-10-31.
Plays via YouTube's privacy-enhanced embed
3 Hacker News comments
From the HN archive; up to 20 kept per video, favoring different commenters. Recommendations first.