Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!YouTube ↗
Archive guide
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.