Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV · 3 개의 HN 추천
동영상 Q&A
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 토론 읽기 ↗