Matt Might - Winning the War on Error Solving the Halting Problem and Curing CancerCurry On!2017 · 3 HN recs · 3 months
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg RosenblattClojureTV2017 · 3 HN recs · 2 months