Introducing AX: Why Agent Experience Matters

As builders, we need to start focusing on AX or “agent experience” — the holistic experience AI Agents will have as the user of a product or platform.

bliki: CQRS

CQRS (Command Query Responsibility Segregation) is the notion that you can use a different model to update information than the model you use to read information

The Tao of Datastar Guide

Datastar is just a tool. The Tao of Datastar, or “the Datastar way” as it is often referred to, is a set of opinions from the core team on how to best use Datastar to build maintainable, scalable, high-performance web apps.

Witchsky

Arbiter Progress Report 3 - Zicklag's Leaflets

The first arbiter prototype is live!

BeeKEM: Decentralized, Secure and Efficient Group Key Agreement

Group key agreement protocols are essential for modern secure messaging. Most existing group key agreement protocols assume a centralized model with a semi-trusted service that mediates the communication. This is efficient, but problematic for some important applications, since a central service can be a choke point for surveillance and censorship. There is a nascent literature on decentralized group key agreement that avoids such reliance, but existing proposals either do not scale, with update costs linear or quadratic in the group size, or lack proofs of security. Centralized protocols can offer much lower (logarithmic) cost. We present BeeKEM, the first decentralized group key agreement protocol with logarithmic update cost in the common case (degrading to linear in the worst case) and proofs of security. We provide an open-source implementation and demonstrate that it is competitive with OpenMLS. BeeKEM opens the door for a range of communication and collaboration applications offering not only end-to-end encryption, but also metadata privacy and censorship resistance.

Reintroducing Spaces - Daniel's Leaflets

Zooming out and re-motivating the design of spaces, the new primitive for non-public data on atproto.

Starting from scale in the design of the AT Protocol - Paul's Leaflets

Bluesky was founded in 2022 to produce a protocol which Twitter could adopt. The product goals changed, but the requirements didn't.

Terminal Apps need a DOM | C1

agent-tui runs terminal programs on a PTY and exposes the rendered screen as text or an outline with stable refs. Agents can drive live TUIs, including other AI agents, by snapshotting, pressing keys, and waiting for screen state.

CascadiaJS 2026 | June 1 - 2 | Seattle, WA

CascadiaJS 2026 is coming up June 1 - 2 in Seattle, WA!

What is Free Software? - GNU Project - Free Software Foundation

Since 1983, developing the free Unix style operating system GNU, so that computer users can have the freedom to share and improve the software they use.

Semantics-Driven Development (SDD): A brief introduction

A method for building software: agree on the meaning first, write it as mathematics, and prove that the code obeys it.

Where It's at:// — overreacted

From handles to hosting.

Modeling Software With Quint - Zicklag's Leaflets

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…

Lexicon - AT Protocol

A schema definition language.

How to Read an RFC

Requests for Comments (RFCs) are how we specify many protocols on the Internet. These documents are alternatively treated as holy texts by developers who parse them for hidden meanings, then shunned as irrelevant because they can’t be understood. This often leads to frustration and – more significantly – interoperability and security issues. However, with some insight into how they’re constructed and published, it’s a bit easier to understand what you’re looking at.

W3C Manual of Style

This manual is a guide containing best current practice, written for editors and authors of W3C technical reports. No requirements for W3C publications are in this document. All requirements for W3C publications are in W3C [[[PUBRULES]]].