Show more

@cwebber just (jokingly) yelled at me from their office: "this is all your fault"

Show thread

Over lunch I suggested that @cwebber record a quick intro song for ... an hour later I'm sitting here listening to them sing "twenty-twenty" over and over again in different tones, keys, and levels of vibrato ...

I guess the people have spoken and really want me to reprise opening ActivityPub Conference by singing something

So ok I'm working on something. (Don't expect anything amazing, just something silly and hopefully fun.)

"wtf is chris talking about" -- what I assume most of the people reading my timeline are wondering most of the time

(sorry, that's partly why I do demos, to cut through the technical jargon of the kinds of things I research with a more clear demonstration)

Also it's been a while since I read it, but the comparison of SPKI in is almost exactly the same consideration as a comparison between zcap-ld and (well, at least a "live connection") captp type system today, which is fairly interesting!

The reason it wins is that we can, instead of thinking about bespoke message structures and protocol details, we can instead focus on the security properties of the specific code. It's not that the code is magically free from security considerations, but that the scope of security considerations has been simplified.

Show thread

> The messages sent between the Alice, Bob, and the mint above are like those that might have been part of a simple cryptographic payment protocol. However, rather than having to design a specialized cryptographic protocol for payment, we have instead reused a generic cryptographic protocol, implementing only distributed capabilities, in combination with a simple specialized object protocol to yield the same effect.

Having a reusable protocol with fundamental security abstractions wins.

Show thread

I've been trying to explain why it's good to have a general purpose distributed and generic protocol like CapTP rather than a bespoke one. However Ode to the Grannovetter Diagram already did so for me:

> Cryptographic protocol design is hard and error prone. When we can, we should design generic protocols that implement highly reusable security abstractions.

(cotd ...)

And yes, you can access your accounts across servers in this system using CapTP.

Show thread

And yes, you can access your accounts across servers in this system using CapTP.

Show thread

I just committed an example of "simple money" implemented in Goblins

25 lines of code and fully transactional (any error that occurs won't corrupt the bank's state, will preserve the amount of money in it). No blockchain required.

Based on the recipe from:

Also, I know a lot of people like traditional sports! And that's ok! I like lots of non-traditional sports. I get very excited any time I see a video of an Isabelle player in Smash beating someone.

However I'm fully aware that it's sportsballing for entertainment, but that it is kind of arbitrary and unimportant.

Show thread

I don't really like the term "tribalism"... instead I try to use "sportsballing", because I think it makes it clearer when referring to arbitrary fanatical grouping. "Go team X... we hate team Y!"

I love organizing org-mode trees, and especially going back and ticking a bunch of things off after a period of hyperfocus.

Show thread

Re-balancing, archiving in my ~/org/ org-mode file

I really get the appeal of vaporwave's aesthetic of "a corrupted nostalgia for a future we were promised but never received", and maybe these days more than ever.

But I think that maybe we can do better to deliver on dreams than we have. But we need to retool to do so.

Looking forward to have video and audio call integration in #Dino thanks to #NGIZero #PET.

Compatibility with #xmpp based #jitsimeet sounds really interesting.

Made a post to my Patreon stuff, updating about the Goblins v0.7 release, my upcoming talks at ActivityPub Conf and RacketCon, and more!

Thanks to everyone who has supported my work, it really does mean a lot <3

Show more

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