IRC channel logs
2025-02-13.log
back to list of logs
<theruran>thanks dthompson! I wonder if this code still runs on Goblins, and if it runs on Goblins on Hoot. <theruran>FRP, constraint logic programming, theorem provers! :D <dthompson>I suspect it would need tweaking but hopefully not a ton <tsyesika>It does, it’s actually embedded in the 0.15 goblins release blog post <jfred>and this only seems to happen when I run this in persistent vats <theruran>so is there a way yet to have two browsers join the 'chat room' and talk to each other? locally, then remotely <jfred>(it's also odd that the dummy-provider log message shows up twice...) <jfred>I think that came up in the Q&A for one of the FOSDEM talks and I forget exactly what the answer was. But I think yes, in theory, if someone were to write a webrtc netlayer (which IIRC would involve more work than writing the websocket one) <jfred>ACTION hasn't written webrtc code himself though <jfred>IIRC it's also more complicated to use webrtc outside of a browser than it is websockets <dthompson>especially outside of the web browser which we are commmitted to also supporting <dthompson>we want to explore using libp2p's js implementation, though that involves dealing with npm <jfred>oh yeah interesting, libp2p does have a webrtc transport <jfred>that probably doesn't mesh quite as well with wasm GC as the JS implementation I guess <jmes>I'm trying to run the guile-goblins-chat onion-server.scm but I'm getting this "no such file or directory" error: https://bpa.st/KEFQ. I notice that this is similar to a problem I had with the captp-bob and captp-alice example over tor yesterday. I tried making some of the parent directories manually but it passed the buck to more missing directories. <jmes>e94dd3ad24b3cd6a5ef5152d9b963784a57c959d <dckc>stickers! I want some stickers! <jboy>there were stickers at fosdem?? <dpk>NLnet made some for us <3 <jfred>I also wish I could have gotten some stickers haha <dthompson>dckc: that blog post has headers that link to all the talks in the schedule which now include the videos <dthompson>jmes: that paste link 404s but sounds like you have an issue with your local tor daemon <dthompson>regarding stickers, we brought some of our own and then we were surprised that nlnet made some as well since we are a member project <dthompson>hopefully we'll have our merch store up before too long <jmes>But if I was supposed to run a tor daemon separately, then I definitely didn't do that 😅 <jmes>I just ran: guix shell --pure --no-grafts --manifest=manifest.scm; guile -L . goblin-chat/onion-server.scm jmes gobby-chat <jmes>Well that'll be the issue, whoops! Thanks for pointing that out <dthompson>you're getting the no such file error because there is no unix domain socket file <jmes>I missed the tor set up because I was skipping around the docs trying to find a netlayer example—my end goal is not to use the tor netlayer but maybe tls-tcp or ws (not sure yet). <dthompson>if you feel comfortable doing so, swap out the tor netlayer in the example for something else <jmes>Yeah, that's what I try after I get the example running over tor. On that topic, what netlayer makes the most sense for 2+ machines over LAN-only? <jmes>Cool, I'll try that one first :) I played with guile-websockets the other day and I'm happy that option exists. <dckc>dthompson, were those links there all along? and I just missed them? <dckc>TimBL used to advise against using headings as links. I can see why now :)