A new policy-based arbiter prototype and a draft of an interoperable lexicon for group servers.

Draft specification of a service that could be used to solve the profile-interop issue we have in the Atmosphere.

Lots of implementation progress & lots of discussion with the community.

I believe having good abstractions is key to writing good code. But as a coder, I often write code in an effort to find those abstractions…

But it's also good — Musings about the last year of Roomy development, and more.

The permissioned data proposal has the concept of membership, but leaves it to the app to orchestrate it. The arbiter is our idea for a general-purpose, interoperable ATProto group membership service.

We've said Roomy's server was like a PDS, but what if it actually was a PDS?

So you want to make a PDS? Or maybe you want to watch some poor fool try? In this series I might make a PDS, or not.

So you want to make a PDS? Or maybe you want to watch some poor fool try? In this series I might make a PDS, or not.

An ultra quick outline of what self-hosting Roomy looks like.

Some anecdotes on how our experiences define our beliefs.

Have you ever heard somebody say something like, "well, AI can't do this". It's a natural response, but at the same time, I think that it's kind of backward and the wrong way to think about it.

Have you ever had a dream where things seem to make sense until you wake up and realize how weird and senseless it all was? That's what these AI are doing, except they never wake up.

Musings on the Wisdom and Emotional minds, and how AI is missing one.

An overview of the experimental Leaf Protocol for federated, local-first app development.

Thoughts on making a "Web of Data" instead of a "Web of Pages", and how that might let us take a step away from the dominance of large, complicated browsers.

Thoughts on the challenges and design of federated software.

Why do we respect people? Where should we draw the line?

Thoughts on lies, pride, respect, loneliness, love, and the truth.

Explanation of interaction nets, combinators, and calculus, which are key components of HVM.

Thoughts and conclusions on making a mini-language on HVM.

HVM and functional programming intro, starting with a tiny language parser, part 2.

HVM and functional programming intro, starting with a tiny language parser, part 1.

Thoughts on making a game engine built on top of HVM.

HVM, the High Order Virtual Machine, is a new, blazing fast runtime for functional programming languages that seems to have some pretty incredible potential for the future.

I've got some stuff I'm going to be experimenting and it was suggested that I document my findings, so I'll be putting my thoughts and experiments here.