<DeeEff[m]>There's so many versions of "mini-Kanren" now <DeeEff[m]>like, the one with Reasonsed Schemer, then the one in Dan Byrd's thesis, and the canonical package (latest) <DeeEff[m]>it's really evolved, but sadly hasn't really been documented much <DeeEff[m]>The Dan that matters there is Daniel Friedman ***jstr is now known as Guest80371
***Guest80371 is now known as jsrt
<amz3`>ijp: so what's particular about your minikanren implementation? <amz3`>ijp: what's the interest of bbtrees (from pfds) compared to alist? <avoine>ijp's minikanren implementation is the only one I found that works out of the box with guile <avoine>I didn't know about rain1's one tho <paroneayea>wingo: I'm reading up on r6rs documentation and familiarizing myself enough to write the tests... <dsmith-work>random-nick: You mean a port that does not have an underlying fd? <dsmith-work>random-nick: I would suspect the port requires an underlying fd, but don't know. <paroneayea>I'm having trouble getting the test system to work with me at the REPL. <paroneayea>it's loaded and most of them are running fine, but then I'm getting a weird exception. <paroneayea>ice-9/boot-9.scm:1632:25: In procedure in-vicinity: <paroneayea>ice-9/boot-9.scm:1632:25: In procedure string-length: Wrong type argument in position 1 (expecting string): #f <paroneayea>guess I'll take a break and investigate more later <paroneayea>ACTION takes a little break to work on pubstrate and comes back to that later <davexunit>esp. compared with Ruby which doesn't have something like them <paroneayea>I can imagine writing code that parsed a binary encoded file using bytevectors and actually understand what's going on :) <davexunit>you can convert bytevectors to/from pointers <davexunit>they are a wonderful tool when you are doing low-level bit fiddling <davexunit>I recommend checking out SRFI-4 for many helpful bytevector procedures <davexunit>JavaScript has typed arrays but I think Scheme bytevectors are much more pleasant to work with <paroneayea>davexunit: cool, I'll look at sri-4 too, thanks :) ***dje is now known as xdje
<ijp>amz3: bbtrees are balanced binary trees, and so most updates are log time <ijp>alists are lists that pretend to be dictionaries <paroneayea>vaguely tempted to try switching to guile-wm as my window manager even though I know it isn't actively developed <lfam>paroneayea: You should work to make it the default GuixSD WM :) <davexunit>the issue I ran into is that I would occasionally fat finger a command that seemed to lock it up <davexunit>and the only way to fix it that I could find was to restart X <davexunit>I never knew what I pressed to do it since it was always a mistake, so I could never track the bug down. :/ <paroneayea>davexunit: well maybe I should install it and give it a shot. probably better than sitting here and moping about not having stumpwm :) <davexunit>I started a REPL server in a new thread in my guile-wm config <paroneayea>davexunit: might be nice to get that to use the cooperative REPL code <davexunit>yeah I never looked into how to hook into the event loop