| 1. | | Prediction: AI will make formal verification go mainstream (kleppmann.com) |
| 3 points by gritzko 13 days ago | past | discuss |
|
| 2. | | The first evidence of a take-off in solar in Africa (ember-energy.org) |
| 1 point by gritzko 46 days ago | past |
|
| 3. | | Flattening the stack, reducing the complexity of a JavaScript runtime (github.com/gritzko) |
| 1 point by gritzko 70 days ago | past |
|
| 4. | | Why Sync? (replicated.wiki) |
| 3 points by gritzko 89 days ago | past |
|
| 5. | | Bsky.storage: Own Your Social Identity (medium.com/storacha) |
| 5 points by gritzko 3 months ago | past | 1 comment |
|
| 6. | | go-rdx: CRDT document store with finer-grained revision control (github.com/gritzko) |
| 2 points by gritzko 3 months ago | past |
|
| 7. | | Braid and HTTP Sync (replicated.wiki) |
| 1 point by gritzko 7 months ago | past |
|
| 8. | | Escher's Art and Computer Science (replicated.wiki) |
| 19 points by gritzko 9 months ago | past |
|
| 9. | | BRIX CRDT database architecture (research) (replicated.wiki) |
| 2 points by gritzko 12 months ago | past |
|
| 10. | | Mastering simplicity: a nested ${templating} engine in 150 lines of C (github.com/gritzko) |
| 3 points by gritzko on Dec 12, 2024 | past |
|
| 11. | | ABC buffers: as simple as possible, but not simpler (github.com/gritzko) |
| 2 points by gritzko on Nov 3, 2024 | past |
|
| 12. | | RDX: Replicated Data EXchange Format (github.com/gritzko) |
| 2 points by gritzko on Oct 27, 2024 | past |
|
| 13. | | RDX format: algebraic JSON with diff/patch/merge (github.com/gritzko) |
| 4 points by gritzko on Oct 23, 2024 | past |
|
| 14. | | Skiplog: Low-overhead binary-search data structure (reddit.com) |
| 3 points by gritzko on Oct 1, 2024 | past |
|
| 15. | | Handling complexity without abstraction: Algebraic Bricklaying C (github.com/gritzko) |
| 43 points by gritzko on Sept 3, 2024 | past | 6 comments |
|
| 16. | | RDX CRDT: turn any LSM database (LevelDB, Cassandra) into a CRDT db (github.com/learn-decentralized-systems) |
| 1 point by gritzko on April 9, 2024 | past |
|
| 17. | | Swarm consensus [pdf] (replicated.cc) |
| 122 points by gritzko on Dec 28, 2021 | past | 31 comments |
|
| 18. | | Papyrus: A rich text CRDT from 2012 (github.com/gritzko) |
| 1 point by gritzko on Dec 8, 2021 | past |
|
| 19. | | StrictMark: Markdown, Refactored (replicated.cc) |
| 80 points by gritzko on Jan 29, 2021 | past | 49 comments |
|
| 20. | | Apple sued by group insisting it curb Telegram (washingtonpost.com) |
| 48 points by gritzko on Jan 18, 2021 | past | 34 comments |
|
| 21. | | Replicated Object Notation (replicated.cc) |
| 3 points by gritzko on Jan 12, 2021 | past |
|
| 22. | | RON/CRDT and Big Tech Data Ownership (replicated.cc) |
| 2 points by gritzko on Jan 11, 2021 | past |
|
| 23. | | What’s Next for Mobile at Airbnb (medium.com/airbnb-engineering) |
| 1 point by gritzko on June 20, 2018 | past |
|
| 24. | | ACID 2.0 – Associative, Commutative, Idempotent, Distributed (swarmdb.net) |
| 3 points by gritzko on June 18, 2018 | past |
|
| 25. | | Replicated Object Notation: a CRDT-friendly data sync format (github.com/gritzko) |
| 3 points by gritzko on Nov 13, 2017 | past |
|
| 26. | | Analyzing third party libraries (martiancraft.com) |
| 1 point by gritzko on April 18, 2017 | past |
|
| 27. | | What have we been doing for 40 years? (gliderlabs.com) |
| 2 points by gritzko on April 15, 2015 | past |
|
| 28. | | Offline first ⊆ intermittent ⊆ asynchronous (swarmjs.github.io) |
| 2 points by gritzko on Aug 26, 2014 | past |
|
| 29. | | WeightLock: secure messaging immune to non-cryptographic threats (tudelft.nl) |
| 1 point by gritzko on Jan 30, 2014 | past |
|
| 30. | | Logs and docs: How we did it better than Google ☺ (medium.com/devops-programming) |
| 1 point by gritzko on Dec 21, 2013 | past |
|
|
| More |
