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 讨论 ↗