I've been working with Randy Farmer (who has been doing this stuff for a long time) on better explaining the ideas. I look forward to sharing what we've been working on.

In code, I have more these days prototyped, but not enough that sit in users' hands. Working on it...

Show thread

But it's one thing to have the answers. It's another thing for people to understand them.

This requires two things: good explanations, and to be able to get people to experience the solutions themselves.

Show thread

That's the fundamental problem.

The federated social web, as it exists, points at a *portion* of the solution. But not enough. In many ways, it has borrowed centralized assumptions.

That's why I've been in research mode with @spritelyproject. I think we now have the answers.

Show thread

Anti-abuse tools which rely on centralized, wholesale surveillance, particularly when such a mechanism is the primary revenue model of that centralized system, can only get more and more abusive to users over time.

Horray! Finally got the release blogpost for @spritelyproject Goblins v0.8 out the door! spritelyproject.org/news/gobli

Improvements to interactions in the network protocol, coroutine support, integration with Racket's IO system, and more!

WHEW! Now to go build cool things *on top of it*!

We are happy to announce the release of Goblins v0.8! spritelyproject.org/news/gobli

Now implementing handoffs in the CapTP network protocol, opt-in (but safe, non-interfering) per-actor coroutine support, integration with Racket's IO system, and more!

If it isn't obvious why this is huge, and I guess my post doesn't make it obvious:

This is a completely peer to peer, end to end encrypted chat system written in *250 lines of code*. @spritelyproject's Goblins abstracts away the network/cryptography elements for you.

Show thread

omg. OMG. **OMG!!!**

Okay I know this sounds like nonsense but oh my god! Captp + handoffs on three *independent* peers over tor onion services, with everyone chatting over goblin-chat!

Each user has their own address on the p2p network! *No* central server!

This is HUGE!

Wow, this description of @spritelyproject's Goblins library is both an accurate description of its implementation of ocap + actors and also imaginatively goblin'y in its narrative! reddit.com/r/Racket/comments/m

Spritely Goblins: a distributed journey (my talk from FOSDEM 2021) youtube.com/watch?v=tqrzag__X7 or share.tube/videos/watch/fd98bb !

Focuses on @spritelyproject's Goblins distributed programming environment from a PL history POV, plus how we might collab w/ the Guile & Guix communities

Coming up in ~2 hours, I'm giving at talk on @spritelyproject's at FOSDEM: "
Spritely Goblins: a distributed journey" fosdem.org/2021/schedule/event

This one has some very interesting bits about how we might collaborate with the Guile and Guix worlds too!

Oh yeah btw I have a talk at FOSDEM this Sunday in case you want to see it: "Spritely Goblins: a distributed journey" fosdem.org/2021/schedule/event

Since this will be a fully remote conference, and since FOSDEM is no-cost-to-attend, anyone can join from anywhere!

In fact, all the talks in the “Declarative and Minimalistic Computing” track look exciting to me:

I’m particularly impatient to learn about @spritelyproject, to be once again amazed by #miniKanren, and to see when we can finally have sexp diffs!

Show thread

We've been making enormous progress on the CapTP layer of Spritely Goblins, which lays the foundation for all the major distribued networked components of Spritely to come!

But... what exactly is CapTP, and what does it enable? spritelyproject.org/news/what-

I've made massive strides on CapTP for @spritelyproject and honestly, I think this is the most important work I've done in my life. But it's hard to explain *why* when few people even know what CapTP *is*.

So: CapTP explainer 🧵, right here (with blogpost to follow):

@spritelyproject Probably needs a whole blogpost explaining the gravity of this current moment, and what this means is now open to us.

But in short: secure, distributed object programming in mutually suspicious peer to peer networks? Open for business!

Show thread

Okay I don't know how to say this better than the commit message I just wrote so I'm just gonna quote that:


With a test, too!

... holy butts"


Big moment for @spritelyproject! (Probably not obvious how big!)

Hygiene for a computing pandemic: separation of VCs and ocaps/zcaps lists.w3.org/Archives/Public/p

Maybe the most important thing I've ever written (at least about computing) is this long mailing list post. I should probably clean it up and put it somewhere more general.

Show older

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!