Stories by gritzko

Prediction: AI will make formal verification go mainstream

The first evidence of a take-off in solar in Africa

Flattening the stack, reducing the complexity of a JavaScript runtime

Why Sync?

Bsky.storage: Own Your Social Identity

go-rdx: CRDT document store with finer-grained revision control

Braid and HTTP Sync

Escher's Art and Computer Science

BRIX CRDT database architecture (research)

Mastering simplicity: a nested ${templating} engine in 150 lines of C

ABC buffers: as simple as possible, but not simpler

RDX: Replicated Data EXchange Format

RDX format: algebraic JSON with diff/patch/merge

Skiplog: Low-overhead binary-search data structure

Handling complexity without abstraction: Algebraic Bricklaying C

RDX CRDT: turn any LSM database (LevelDB, Cassandra) into a CRDT db

Swarm consensus [pdf]

Papyrus: A rich text CRDT from 2012

StrictMark: Markdown, Refactored

1