<dsmith-work>sneek: later tell daviid The old guile-sqlite on gitorius is by me. It's what sneek uses! <sneek>Welcome back daviid, you have 1 message. <sneek>daviid, dsmith-work says: The old guile-sqlite on gitorius is by me. It's what sneek uses! <daviid>ah ok: do you have any objection with what I proposed? <dsmith-work>I'll name my guile-sqlite something else if I ever get the gumptions to push it somewhere again. <daviid>yours is also dynamic ffi? ayou could contribute to the project as well of course <daviid>and maybe sneek could use it too ? <daviid>oh i see no way you would use the new version I guess <dsmith-work>The only thing really intersting about it is that it passes a Scheme closure to the C exec routine, and handles exceptions raised in that closure. <dsmith-work>Bouncing between Scheme -> C -> Scheme on the way out. <daviid>ok, i see. thanks for letting me rename, I really think it is better for the long term... ***adhoc_ is now known as adhoc
<syncbot>paroneayea: Rolling at 0: [+] [+] [+] [_] -> 3! <syncbot>paroneayea: Rolling at 3: [+] [+] [-] [_] -> 4! <davexunit>artyom-poptsov: it's cute, but at first glance I don't notice that the shell is a G <davexunit>maybe just make a normal G but still use the cute shell with lambda bubbles <artyom-poptsov>Thanks. Probably I need to make the shell to look more like "G". <davexunit>I have to try again, but I *really* want to utilize guile-ssh to remotely manage all of my GuixSD nodes <artyom-poptsov>There will be SFTP client API in the next release, and some other features as well. <davexunit>I need to figure out how to connect to a local guix client to a remote guix daemon via guile-ssh <davexunit>once I have that, I can do things like copy full-system closures over the wire <artyom-poptsov>Besides, the shell on the logo is a recursive lisp shell (not sure though if that kind of shell exists in the nature.) <amz3>ACTION hacking on minikanren again <amz3>maybe the shell and the lambdas could be besides the name <linas>so I'm using guile-github from a few months ago, and I keep getting (and ignoring) these errors <linas>they seem harmelss ,, but ... ? <linas>;;; ERROR: Wrong number of arguments to #<procedure 1437f80 at language/tree-il/compile-cps.scm:463:7 (val)> <artyom-poptsov>amz3: Hi. I'm afraid I'm not fully understood your suggestion, Do you mean that the shell should be separated from the name? <amz3>linas: guile master was released as 2.1 recently <ArneBab>roelj: if you add a string as first element in a function definition, it becomes a doctstring (as in Python). <ArneBab>paroneayea: yepp, I played fate a few times <roelj>ArneBab: Yes, it's the same as in elisp. I was wondering earlier about how to document programs written in Scheme. I was used to using Doxygen, but as has been said, writing documentation can be done nicely using Texinfo. <syncbot>paroneayea: *checks bag*... I left that one at home :( <ArneBab>paroneayea: where can I find your bot to implement roll-±d6? <paroneayea>./syncbot.scm --server irc.freenode.net --username your-syncbot --channels "##footest #guile ##somechannel" --listen <amz3>hey, this might be a good project to build a tutorial on <ArneBab>paroneayea: my browser is owned by my kids right now — can you give me the clone url? <amz3>many many people on #python do IRC bots to get their hands on programming <ArneBab>paroneayea: I’ve been looking for a nice bot for #freenet for quite some time :) <paroneayea>ArneBab: the one in demos/ircbot.scm of 8sync is simpler <paroneayea>syncbot.scm is like ircbot.scm, but with more commands <ArneBab>paroneayea: well, I’d like to first add ±d6 :) <linas>git pull; make dies BOOTSTRAP GUILEC ice-9/psyntax-pp.go <linas>Throw to key system-error with args ("load-thunk-from-memory" "~A" ("No such file or directory") (2))Threads explicit registering is not previously enabled <linas>/bin/bash: line 6: 26562 Aborted GUILE_AUTO_COMPILE=0 ../meta/uninstalled-env guild compile --target="x86_64-unknown-linux-gnu" -Wunbound-variable -Warity-mismatch -Wformat -O1 -L "/home/linas/src/novamente/src/guile-git/build/../module" -L "/home/linas/src/novamente/src/guile-git/build/../guile-readline" -o "ice-9/psyntax-pp.go" "../../bootstrap/../module/ice-9/psyntax-pp.scm" <linas>make[2]: *** [ice-9/psyntax-pp.go] Error 134 <linas>trying again with make clean and all that <paroneayea>linas: I ran into such warnings also when trying to run code that was previously compiled with guile 2.0.X, then was run with guile 2.1/2.X? <linas>well, its bootstrapping, so it should not have been "previously compiled" <linas>anyway, I also rm -r'ed the cache, because i'm lazy :-) <ArneBab>regarding the end of dynamic languages: Python is really good at ending the uncertainty — by making sure that things behave as you expect them to. Types, on the other hand… in Freenet development I’m constantly looking back into the source, because I still mostly run without tool support. <ArneBab>d6bot: may I introduce paroneayea: your creator :) <ArneBab>paroneayea: I had to add a ./bootstrap.sh ; ./configure ; make in 8sync <paroneayea>ArneBab: I didn't take packaging syncbot so seriously :) <ArneBab>so, how do I start this live-coding? :) <paroneayea>ArneBab: M-x connect-to-guile ; assumes geiser is installed <paroneayea>and your bot should immediately know how to say it! <d6bot>paroneayea: *rolls*... you get a 6! <d6bot>paroneayea: *rolls*... you get a 16! <d6bot>ArneBab: *rolls*... you get a 6! <d6bot>ArneBab: *rolls*... you get a -1! <amz3>I just changed mk to run queries that might look familiar: (query a? b? where ((== a? 1) (== b? 2))) <ArneBab>paroneayea: and it handles unicode just fine :) <amz3>yeah this bot might help me jump into live coding again, the problem is that my geiser is broken somehow it spits something like ERROR: no such language objcode <amz3>when i try to eval something, it might be related to guile 2.1 <amz3>next step is to run queries that looks like (query message-id? where ((user-id? user/name "amz3") (message-id message/created-by user-id?))) <amz3>which does pattern matching over the database <amz3>over the tuple* database <amz3>oops! there is small typo, the s/message-id/message-id? <amz3>One month ago, mk looked like very smart. Now, I know it's very smart :) <amz3>The use of immutability is really nice <ArneBab>paroneayea: does a syntax error kill the live coding? <d6bot>ArneBab: *rolls*... you get a -5! <syncbot>I'm a little irc bot for 8sync! Patches welcome / happy hacking! <d6bot>ArneBab: *rolls*... you get a 7! <d6bot>ArneBab: *rolls*... you get a 4! <d6bot>ArneBab: *rolls*... you get a -5! <d6bot>ArneBab: *rolls*... you get a -1! <d6bot>ArneBab: *rolls*... you get a -1! <d6bot>ArneBab: *rolls*... you get a -5! <d6bot>ArneBab: *rolls*... you get a 6! <ArneBab>at some point it has to run into a critical ☺ <amz3>looks like the mk tuple notation is another kind of beast <amz3>does anyone else has troubles with geiser and guile 2.1.1 ? 