1. 27
  1.  

  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 15 days ago | 24 points | no comments