Strange Dreams of Stranger Loops
summary
Relational programming with miniKanren actually synthesizes quines and twines: a two-place evalo relational evaluator yields expressions that evaluate to themselves, and adding an obsento constraint forces structurally nontrivial pairs. A three-interpreter quine relay is synthesized (demo runs in about 36 seconds) producing distinct self-reproducing programs rather than trivial quoted/unquoted pairs. The system is implemented as relational interpreters and works via search and unification. The talk also announces $1,000 Quips and Man prizes for constructive quine and meta-circular implementations.
AI-written summary · about
chapters (7)
- 0:00Start
- 14:36Relational Interpreters
- 23:07Dna Representation
- 27:40Generate an Expression
- 32:09Quine Relay
- 36:24Self-Reproducing Behavior
- 48:21Relational Type Inferencer
related talks
43mAn Imperishable Wonderland of Infinite Fun
46mminiKanren
26mtypedKanren: Statically Typed Relational Programming with Exhaustive Matching in(…)
01h 01mLearning Propositional Logic with Logic Programming
40mμKanren: Running the Little Things Backwards
33mAnalyzing Functional Programs
33mDeriving a Kronecker-Free Functional Quantum Simulator
43mMonoidal Adventures