1. 27

  2. 2

    I believe this is the paper that describes how to search for quines with miniKanren. It appears to be doing something fascinating: translating Scheme code into miniKanren code and back.

    Stories with similar links:

    1. The memory models that underlie programming languages via Moonchild 10 days ago | 23 points | no comments