IRC channel logs

<cwebber>OMG! ICRainbow_ just shared some incredible news with me

<cwebber>ICRainbow_: please tell everyone what you're working on

<ICRainbow_>uh, so.. Me and cab404 are working on a Haskell impl of the spec and now passing all tests other than 3rd-party handoffs

<cwebber>AMAZING

<cwebber>AMAZINGGGG

<cwebber>AMAZINGGGGGGGGGGGGGGGg

<ICRainbow_>we have an NLnet grant specifically to bring OCapN/Spritely (and Syndicate) interop into Haskell world

<cwebber>:D :D D:D

<cwebber>oops

<cwebber>all :D

<cwebber>no D: and definitely no D:D I dunno what that would be :)

<ICRainbow_>in the end we want to have all the cross-platform cross-language fun there is to be had

<cwebber>this is amazing ICRainbow_

<cwebber>YES

<cwebber>we all want that as well

<cwebber>that's why we launched the Spritely Institute *and* the OCapN group

<cwebber>to set the foundations for a better future for everyone

<cwebber>this is really so cool ICRainbow_ / cab404

<cwebber>THANK YOU

<dthompson>awesome awesome news :)

<ICRainbow_>perhaps we can have a demo (the dots get printed, yay!) at one of the future calls

<cwebber>Randy Farmer isn't on here at the moment but has expressed allcaps excitement also :)

<cwebber>YES

<cwebber>YESSSSS

<cwebber>I would LOVE that

<dthompson>+1

<cwebber>I would also love to get your ocapn stuff packaged in guix so we can have a package people can easily install that shows the whole round trip between 2 languages

<cwebber>but of course, in cabal too

<ICRainbow_>on a related note, I'd love a guided tour around the goblins code. just to know which are the platform/guile/racket runtime parts, where are the goblins, and what is ocapn in there

<ICRainbow_>our impl is quite ad hoc and I just smashed types together, basically faking the wire dumps until tests start to pass (=

<cwebber>ICRainbow_: yes that would be nice to do

<cwebber>we have some internal video recordings where I walked tsyesika, dthompson and robin through how Goblins works

<cwebber>we actually have Goblins broken into "phases" inside the guile-goblins repo

<cwebber>so it's possible to implement piece by piece

<cwebber>we have been hoping to eventually do a paper on it

<cwebber>ICRainbow_: Goblins could be translated into Haskell, including its time travel mechanics with "code that looks like imperative code but is actually mostly functional"

<cwebber>the main thing about Goblins is that it has an implicit state monad basically

<cwebber>but it could be "explicit", and some early designs of Goblins I experimented with that

<cwebber>but that's a bigger topic

<ICRainbow_>i tried to port it function-by-function and had it up until GC stuff started

<cwebber>oh really? haha

<cwebber>ICRainbow_: regardless, this is incredible

<cwebber>HYPED

<cwebber>I am hyped.

<ICRainbow_>we're still figuring out the reference thingies and how to cook them properly

<cwebber>we should def do a call soon

<cwebber>so, ICRainbow_ the next week and a half we're going to be kind of slammed internally. but then I want to make sure we get the right time to coordinate on all this stuff

<cwebber>this is a big deal

<cwebber>cab404: you too

<cwebber>anyway YAY

<cwebber>and thank you for sharing all this

<cwebber>as I said, we've been kind of slammed, a bunch of stuff is in race-to-the-finish mode internally. it's really invigorating to hear this

<cwebber>ICRainbow: do you have a repo link?

<ICRainbow> https://gitlab.com/dpwiz/ocapn-suite

<Zarutian_iPad>nifty!

IRC channel logs

2023-08-30.log