Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On! · 3 则 HN 推荐
视频问答
可以让 AI 解释当前片段，或总结整部视频。如果回答附有时间戳，点击即可跳到对应片段。
试着问：这里讲的是什么意思？
需要用 Google 登录。确认前可查看最多会扣除多少积分。
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.
HN 推荐的原因： 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.” 阅读 HN 讨论 ↗