Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt

Why it was recommended

I work on miniKanren, which is a logic programming language with a complete search that doesn't hit the nontermination issues you mention.

Referencemballantyne · Original2017-04

What it covers

A Clojure/conj 2016 talk demoing Barliman, a prototype smart editor that does program synthesis. Given a partial program and tests, it completes the program using a. It is for someone who already knows the basic terms and wants the next step.

Video details

Channel

ClojureTV

Length

36 min 14 sec

Year

2016

More in this topic

• Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
• The Soul of Erlang and Elixir • Sasa Juric • GOTO 2019
• "Simple Made Easy" - Rich Hickey (2011)
• "Making Impossible States Impossible" by Richard Feldman
• William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
• The Value of Values with Rich Hickey