3 ms·
This is ridiculous. How does one go about deriving something like this? Really impressive.
by usmannk 10y ago
This is ridiculous. How does one go about deriving something like this? Really impressive.
- lmm 10y agoOnce you've seen the trick for making quines you can apply it to any language.
- jrheard 10y agoIf you think that's crazy, check out https://www.infoq.com/presentations/miniKanren https://www.infoq.com/presentations/miniKanren at the 31:30 mark. These two guys teach their logic programming system a subset of scheme, then they can run it "backwards" to find quines - programs that evaluate to themselves.
- ndr 10y agoThat is amazing. I don't want to spoil the fun but I highly recommend that video!