IRC channel logs

<janneke>hi guilers!

<amz3>héllo

<stis>heya guilers!

<paron_remote>hello stis

<paron_remote>so who here has watched https://www.youtube.com/watch?v=eQL48qYDwp4 ? :)

<paron_remote>that "evalo" shit made my hair stand on end

<paron_remote> http://webyrd.net/research.pdf https://github.com/webyrd/polyconf-2015 maybe I should port this to guile

<mark_weaver>paron_remote: are you familiar with "The Reasoned Schemer" or with miniKanren?

<mark_weaver>it's probably related

<mark_weaver>and we already have it for guile

<mark_weaver>William Byrd was one of the authors of "The Reasoned Schemer", and the "o" suffix is also used in that book

<mark_weaver>oh yes, of course you know it, you packaged it for guix :)

<paron_remote>mark_weaver: yes

<paron_remote>mark_weaver: this is further stuff on top of that

<mark_weaver>ah, okay

<paron_remote>mark_weaver: new things that have been happening on top of that

<mark_weaver>I'll add that video to my queue :)

<paron_remote>mark_weaver: it's now possible to write stuff with "evalo" which is able to logically create certain programs

<paron_remote>mark_weaver: this is, by far, the most mind blowing talk I've ever watched

<paron_remote>mark_weaver: a lot of the stuff shown in that video is stuff apparently just happening in the last 6 months

<mark_weaver>very interesting!

<paron_remote>mark_weaver: for example, there's one part of the video where he took a program written in normal scheme (I think it was a theorem prover) and stripped out a part of it

<mark_weaver>I'll definitely check it out soon :)

<paron_remote>mark_weaver: and minikanren with evalo figured out what code could complete it

<mark_weaver>wow

<paron_remote>mark_weaver: cool :)

<mark_weaver>thanks for the pointer!

<paron_remote>mark_weaver: it also could define quines from a simple as (run (

<paron_remote>caar

<paron_remote>eval

<paron_remote>oh no

<paron_remote>I pasted code from a pdf

<paron_remote>never do that.

<paron_remote>(run 1 (q) (evalo q q))

<paron_remote>generates a quine

<paron_remote>but you can even have it generate a twine, two different programs which when evaluated print out each other

<paron_remote>or even a trine

<paron_remote>mark_weaver: anyway, this is all really interesting to me... I've been thinking about procedurally generated code and what it might mean for free software

<mark_weaver>great stuff!

<paron_remote>since google is now picking up on AI problems that haven't been touched since the AI winter...

<paron_remote>well not seriously :)

<paron_remote>I think we might soon see a drastic change to this space.

<paron_remote>mark_weaver: anyway yeah, watch it and read up!

<mark_weaver>I will. I find this style of programming very compelling

<paron_remote>mark_weaver: so that code repo linked above also has guile stuff

<paron_remote>mark_weaver: so you can run evalo apparently in guild

<paron_remote>guile

<paron_remote>mark_weaver: but the repo is a mess

<paron_remote>mark_weaver: still expat licensed though

<paron_remote>mark_weaver: maybe I should refactor or repackage for guile/guix

<paron_remote>mark_weaver: I'd love to play with evalo.

<paron_remote>ah!

<paron_remote>mark_weaver: I got "evalo" ~working

<mark_weaver>that's good!

<paron_remote>but the quine thing doesn't work in guile

<paron_remote>well, some of them do

<paron_remote>until it builds the cool expressions

<paron_remote>(((lambda (_.0) (list (list (quote lambda) (quote (_.0)) _.0) (list (quote quote) _.0))) (quote (list (list (quote lambda) (quote (_.0)) _.0) (list (quote quote) _.0)))) (=/= ((_.0 closure)) ((_.0 list)) ((_.0 quote))) (sym _.0))

<paron_remote>so this one doesn't work, for a simple reason

<paron_remote>ERROR: Syntax error:

<paron_remote>unknown location: quote: bad syntax in form quote

<paron_remote>it doesn't let you pass in quote

<paron_remote>in guile

<paron_remote>though it does in racket

<paron_remote>oh, it doesn't there either

<paron_remote>heyyyy what's going on here ;)

<mark_weaver>it's probably some subtle difference in the macro expander

<paron_remote>yeah

<paron_remote>anyway, cool stuff

<mark_weaver>paron_remote: that error message makes me suspect that there was a bare 'quote' used where an expression is expected.