IRC channel logs
2023-11-27.log
back to list of logs
<jfred>I wasn't quite writing a petname database, but what I was writing was close enough that I ran into that haha <cwebber>and yeah, Horton and petnames go hand in hand <cwebber>jfred: did you see MarkM's talk at apconf 2019 about Horton? <jfred>eq is useful but the implications of equality checks in distributed capability systems are... interesting <cwebber>jfred: yes all promises must settle and you must resolve them before an eq? check can be usefully run <jfred>yup! I've watched through it a couple times now, was super helpful when I was trying to wrap my head around how it all works initially <cwebber>there's code in the Goblins unit tests for "does the prodigal son return home" <cwebber>apparently it's in racket-goblins but not guile-goblins <jfred>And it feels like supporting eq? might get a bit messy when proxy objects get involved too. Because then you *don't* have a direct reference to the underlying object, but that might be intentional... <cwebber>jfred: absolutely. if there's a proxy, it's no longer eq? <cwebber>jfred: in other words, you might want that, as in terms of the very reason the grant matcher puzzle shows, or really a man in the middle attack <cwebber>if you want things to have an identity check where you still consider it equivalent, you can build that out of other things <jfred>But yeah, once I have some more of the user interface methods worked out and fully functional, I eventually want to add a little web (or maybe native?) UI to this thing. Something flashy enough to demo to folks at work to spread the ocap gospel :P <cwebber>jfred: it would maybe be cool to see an interface that works with hoot so we can show people in the browser! <jfred>That'd be awesome but interacting with the DOM from wasm is still tricky right? <cwebber>jfred: you'll be hearing more about that shortly :) <cwebber>but suffice to say the FFI landed in Hoot and Hoot 0.2.0 is coming out real soon now... <cwebber>jfred: btw not sure if you saw but David Wilson switched his demos over to using the Hoot FFI too, it's pretty cool <jfred>do you think at some point Spritely will have a UI builder type thing for web-based UIs in Hoot? I admit my web dev skills are extremely limited at this point haha <cwebber>we're still figuring out how we're going to be composing our own UIs <cwebber>having Hoot have access to the FFI unlocks figuring that out <jfred>She's adorable and cuddly and an agent of chaos <daviwil>cwebber: not fully finished moving the game code over to new FFI yet :) Need to get back to that soon <daviwil>got busy with trying to re-home my community chat on IRC again after the Matrix bridge shutdown :/ <daviwil>looking forward to the upcoming release! I see lots of useful stuff getting merged recently <dthompson>we just closed the last issue in the release milestone >:] 