gritzko
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Automating AI Away (replicated.live)
- Work the Thing (replicated.live)
- AI: Surgeon's Assistant or Commodity on a Meter? (replicated.wiki)
- Beagle: Git, URIs and all the dirty words (replicated.wiki)
- Three Years with Abstractionless C (replicated.wiki)
- Three Years of Abstractionless C (replicated.wiki)
- Spot – Git repo code search, replace, diff and merge (github.com)
- Spot – git repo AST-aware index, search and replace (replicated.wiki)
- Part II. SCM as a database for the code (replicated.wiki)
- Beagle SCM: improving on Git's "blockchain" (replicated.wiki)
- Beagle SCM: the continuous commit model (a.k.a. undo/redo) (replicated.wiki)
- Beagle CRDT SCM outer interface (gist.github.com)
- SCM as a database for the code (gist.github.com)
- Arguments for a syncable data exchange format (replicated.wiki)
- The Internet's Last Bottleneck (replicated.wiki)
- Prediction: AI will make formal verification go mainstream (martin.kleppmann.com)
- Why Sync? (replicated.wiki)
- Bsky.storage: Own Your Social Identity (medium.com)
- Braid and HTTP Sync (replicated.wiki)
- Escher's Art and Computer Science (replicated.wiki)
- BRIX CRDT database architecture (research) (replicated.wiki)