Explore >> Select a destination

You are here

 decomposition.al
My FLOPS 2022 keynote talk: Adventures in Building Reliable Distributed Systems with Liquid Haskell - decomposition ? al
| | martin.kleppmann.com
Verifying distributed systems with Isabelle/HOL - Martin Kleppmann's blog
4.5 parsecs away

Travel
| |
| | kuruczgy.com
A formally verified R-tree implementation
6.5 parsecs away

Travel
| |
| | mattweidner.com
CRDT Survey, Part 3: Algorithmic Techniques - Matthew Weidner
4.8 parsecs away

Travel
| | [AI summary] This text provides an in-depth exploration of CRDTs (Conflict-Free Replicated Data Types), covering various data structures and algorithms for managing concurrent data in distributed systems. It includes discussions on unique sets, state-based CRDTs, and optimized versions that avoid tombstones. The text also touches on different CRDT types, such as OR-sets and unique sets, and their implementations, along with their applications in collaborative applications. The content is part of a series of blog posts by Matthew Weidner, a PhD student at CMU, focusing on the theory and practice of CRDTs.
| | databases.systems
Building a collaborative text editor in Go
14.7 parsecs away

Travel
| Exploring how pairpad was built in Go.