63
1
Challenges of revision control in the LLM era (gist.github.com)
1
Arguments for a syncable data exchange format (replicated.wiki)
1
The Internet's Last Bottleneck (replicated.wiki)
2
Prediction: AI will make formal verification go mainstream (kleppmann.com)
1
The first evidence of a take-off in solar in Africa (ember-energy.org)
1
Flattening the stack, reducing the complexity of a JavaScript runtime (github.com/gritzko)
3
Why Sync? (replicated.wiki)
3
Bsky.storage: Own Your Social Identity (medium.com/storacha)
2
go-rdx: CRDT document store with finer-grained revision control (github.com/gritzko)
1
Braid and HTTP Sync (replicated.wiki)
4
Escher's Art and Computer Science (replicated.wiki)
1
BRIX CRDT database architecture (research) (replicated.wiki)
1
Mastering simplicity: a nested ${templating} engine in 150 lines of C (github.com/gritzko)
1
ABC buffers: as simple as possible, but not simpler (github.com/gritzko)
1
RDX: Replicated Data EXchange Format (github.com/gritzko)
1
RDX format: algebraic JSON with diff/patch/merge (github.com/gritzko)
1
Skiplog: Low-overhead binary-search data structure (reddit.com)
1
Skiplog: Making a binary stream searchable with 1% overhead
4
Handling complexity without abstraction: Algebraic Bricklaying C (github.com/gritzko)
1