HackerTube / Video
Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!
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.
3 Hacker News mentions · 2017–2019