IRC channel logs

2023-02-27.log

back to list of logs

<isd>jackhill: seems like capnproto-rust would be a great fit
<Zarutian_iPad>ACTION been looking again at AmbientTalk, Toontalk, Unas, his ActiveCapCert notes, and such
<Zarutian_iPad>Toontalk mainly for its Birdies&Nests communications paradigm
<Zarutian_iPad>you give something to a bird, it duplicates itself and the dup flies with that something to its nest
<Zarutian_iPad>btw I found a way to allow for sturdyrefs in ACCs. In the standard environ that each closure instanciated from an ACC gets we have a function (name still tbd) that takes a hmaced form of the sturdyref
<Zarutian_iPad>in this hmac construct we have: the vatid (public key or fingerprint thereof) of the vat hosting the object, the swissHash for said object, the principal id (just like vatid) of the recipiant, a nonce or nym which the object gets put under in the handoff tables
<Zarutian_iPad>and the hmac key? it is the swissNum of aforesaid object
<Zarutian_iPad>then an ACC made by and signed by the recipiant principal can retrive it using its .acceptFrom() facet to the handoff tables
<Zarutian_iPad>but the hosting vat must support the ACC mechanism
<Zarutian_iPad>bbl
<Zarutian_iPad>back
<Zarutian_iPad>sneek, botsnack.
<sneek>:)
<sneek>Zarutian_iPad: Greetings :)
<Christoph[m]>There's an old and outdated GSoC proposal about integrating gobblins into guix "as a first class citizen":
<Christoph[m]> https://libreplanet.org/wiki/Group:Guix/GSoC-2021#Project:_Trusted_computing:_Goblins_for_GNU_Guix
<Christoph[m]>The main part of the proposed work is to port gobblins from racket to guile – which has happened now but not in said GSoC project. Is there still interest in such projects? Maybe an update of the project description might help.
<cwebber>oh hello
<cwebber>Christoph[m]: hm! we should look again at that maybe. I think there'd be interest probably if the project could be done through GNU. But IIRC that year, GNU wasn't accepted for GSoC, which was kind of a surprise. But we'd have to figure out who can mentor. Mentoring is a major time commitment and not something we want to commit to idly
<cwebber>but I'd love to see more Guix and Goblins integration move forward
<Christoph[m]>This year it GNU has been accepted, and right now seems to be the best time to propose topics:
<Christoph[m]> https://lists.gnu.org/archive/html/guix-devel/2023-02/msg00310.html