hackertube.io

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

Curry On! · talk · Watch on YouTube

Compilers, interpreters & program analysisComputability & complexity theoryBiology & biotechnology

What it is

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.

Why Hacker News recommends it

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

  • 3 people recommended it
  • 3 different months
  • 3 strong recommendations
  • first 2017, last 2019

What HN commenters said

  1. “is one that is well worth watching.”

    Matt Might talk on solving the halting problem and curing cancer.

    dpeck, 2017-12 · Strong recommendation · in “Ask HN: What's your favorite tech talk from 2017?”

  2. “gave a jaw-dropping talk a year ago”

    Ambitious talk by Matt Might on static analysis and curing disease.

    the_grue, 2018-09 · Strong recommendation · in “A Battle Plan for a War on Rare Diseases: Conversation with Matt Might”

  3. “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.”

    Amazing intro to static analysis and Might's personal story.

    yesenadam, 2019-03 · Strong recommendation · in “How To: Get Tenure – Matt Might”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: static analysis, halting problem, abstract interpretation, genomics, software security

Also recommended by the same people