Full threadSEMW·Matt Might's Codemesh 2017 keynote: "Winning the War on Error: Solving Halting Problem, Curing Cancer" https://www.youtube.com/watch?v=EVkHgKCqAcIView on HN