Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On! · 3 HN recommendations
Video Q&A
Ask AI to explain this scene or summarize the whole video. When an answer includes timestamps, select one to jump to that moment.
Try asking: What is the speaker explaining here?
Google sign-in is required. Review the maximum credit cost before confirming.
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 HN recommends it: 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.” Read on HN ↗