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

档案导读

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.