Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On! · 48:36 · Watch on YouTube
This talk argues the war on error in both software and human DNA is winnable through approximation — abstract interpretation to over-approximate program behavior, and precision medicine to approximate the right treatm...