Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On! · 3 recomendaciones en HN
Preguntas sobre el video
Pide a la IA que explique esta escena o resuma el video completo. Si la respuesta incluye marcas de tiempo, selecciona una para ir al fragmento.
Prueba a preguntar: ¿Qué está explicando aquí la persona que habla?
Inicia sesión con Google. Consulta el costo máximo en créditos antes de confirmar.
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.
Por qué lo recomienda 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.” Leer en HN ↗