webyrd/quines
View on GitHub ↗ ★ 131 Scheme
Relational interpreter in miniKanren that can generate quines
3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2013-07-16 · latest 2020-08-05
20082026
-
…the AI will still need disciplined requirements, which, I suspect, will look a lot like...code. https://github.com/webyrd/quines is an interesting example of writing code to create code based on a specification. Perhaps not the AI code…
comment by Jtsummers · 2020-08-05 · in A Plea for Lean Software (1995) [pdf] -
Yes, it uses pmatch behind the scene to match your expr against the evaluator. https://github.com/webyrd/quines/blob/master/pmatch.scm I have to agree, this like rank #1 in my book!
comment by Globz · 2019-10-28 · in Ask HN: What is the most beautiful piece of code you've ever read? -
…au.dk/danvy/sfp12/papers/byrd-holk-friedman-... [2] http://www.infoq.com/presentations/miniKanren [3] https://github.com/webyrd/quines The talk is amazing and hilarious. On point, if the code is not generated in this fashion, there is…
comment by dustingetz · 2013-07-16 · in Quine Relay