webyrd/2012-scheme-workshop-quines-paper-code

Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters."

3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2016-07-31 · latest 2016-08-01

Mentions per year 3 mentions · busiest year 2016 (3)

20082026

All Stories Comments Newest Top Oldest

Barliman's synthesis is based on the "relational interpreter" approach described in this 2012 Scheme Workshop paper: William E. Byrd, Eric Holk, and Daniel P. Friedman. miniKanren, Live and Untagged: Quine Generation via Relational…
comment by will_byrd · 2016-08-01 · in Barliman: Prototype of a smart text editor
Thanks for the post, the pull requests, and the questions! I find that it's impossible to give enough context when answering high-level questions such as these, so some of my answers will probably seem more provocative or critical than I…
comment by will_byrd · 2016-08-01 · in Barliman: Prototype of a smart text editor
Good questions! > It's my impression, as a programmer, that the difficult task is defining ones program logic without ambiguity. Certainly the unambiguous specification of a program's behavior is a difficult task! Barliman's approach is to…
comment by will_byrd · 2016-07-31 · in Barliman: Prototype of a smart text editor