HackerTube.dev

Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer

Curry On! · 8.9K views · 2017-06-20 · 48:36

Open on YouTube ↗

If playback is restricted in your region, try opening the original video. Use Mark watched to add it to your marked videos.

Overview

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.

On Hacker News

Recommended as a jaw-dropping, must-see talk that gives an amazing intro to static analysis alongside Might's personal story.

Recommended by 3 HN people across 3 months · HN mentions 2017–2019

Topics

Compilers, interpreters & program analysisComputability & complexity theoryBiology & biotechnology
Search by tags
static analysishalting problemabstract interpretationgenomicssoftware security

What people said

yesenadam · 2019-03 · Strong recommendation

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. [VIDEO]

Read the original HN comment ↗
the_grue · 2018-09 · Strong recommendation

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] [VIDEO]

Read the original HN comment ↗
dpeck · 2017-12 · Strong recommendation

Matt Mights "Winning the War on Error: Solving the Halting Problem and Curing Cancer" is one that is well worth watching. [VIDEO] previous discussion on it: [LINK]

Read the original HN comment ↗

Sources

Video by Curry On!, played through YouTube.

Data and selection notes

HN summaries and labels may contain AI errors. HN dates refer to discussions, not video publication.

HN Library: HackerTube export (2026-10-31) and open-index/hacker-news. Upstream summaries and classifications may contain AI errors.

Views, duration and playback status refresh separately from the published catalog. When an update fails, existing data remains visible.

Selection checks
  • SaaS & AI candidates: Topic keywords do not match
  • Editor-approved picks: Editorial review is required

Rule matches identify candidates. They do not guarantee video quality or financial results.

About the library and its sources