Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV · 3 recomendações no HN
Perguntas sobre o vídeo
Peça à IA para explicar esta cena ou resumir o vídeo inteiro. Se a resposta tiver marcações de tempo, selecione uma para ir ao trecho.
Experimente perguntar: O que a pessoa está explicando aqui?
Entre com o Google. Confira o custo máximo em créditos antes de confirmar.
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.
Por que o HN recomenda: 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.” Ler no HN ↗