Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer on HackerTube: recommended by 3 Hacker News commenters across 3 separate months, 2017–2019.
talk · intermediate · evergreen
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.
Recommended as a jaw-dropping, must-see talk that gives an amazing intro to static analysis alongside Might's personal story.
“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.”
3 Hacker News comments link this video. Each one links back to its thread.
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
in “How To: Get Tenure – Matt Might” · View on HN
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
in “A Battle Plan for a War on Rare Diseases: Conversation with Matt Might” · View on HN
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]
in “Ask HN: What's your favorite tech talk from 2017?” · View on HN