/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 decomposition.al
My FLOPS 2022 keynote talk: Adventures in Building Reliable Distributed Systems with Liquid Haskell - decomposition al
| | crdt.tech
CRDT Papers Conflict-free Replicated Data Types
5.1 parsecs away

Travel
| | Resources and community around CRDT technology - papers, blog posts, code and more.
| | martin.kleppmann.com
Verifying distributed systems with Isabelle/HOL - Martin Kleppmann's blog
4.5 parsecs away

Travel
| |
| | archagon.net
Data Laced with History: Causal Trees & Operational CRDTs - Archagon Was Here
5.1 parsecs away

Travel
| | Alexei's pile o'stuff, featuring writing on software development, travel, photography, and more.
| | mattweidner.com
Collaborative Text Editing without CRDTs or OT - Matthew Weidner
17.6 parsecs away

Travel
|