Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV · 3 件のHN推薦
動画への質問
現在の場面の解説や、動画全体の要約を AI に頼めます。回答にタイムスタンプがある場合は、選択するとその場面に移動します。
質問例：ここで話し手は何を説明していますか？
Google でのログインが必要です。確定前に消費クレジットの上限を確認できます。
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 relational interpreter written in miniKanren.
HNで推薦される理由： HN people point to it as an amazing demonstration of relational programming and program synthesis that still looks exciting after LLM code generation.
“I work on miniKanren, which is a logic programming language with a complete search that doesn't hit the nontermination issues you mention.” HNのコメントを読む ↗