Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
www.youtube.com
Barliman is a prototype smart editor capable of program synthesis: given part of a program and a set of tests to pass, Barliman attempts to complete the prog...