Outer Web | Explore

/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
\|	\|	martin.kleppmann.com Verifying distributed systems with Isabelle/HOL - Martin Kleppmann's blog	4.5 parsecs Travel
\|	\|
\|	\|	archagon.net Data Laced with History: Causal Trees & Operational CRDTs - Archagon Was Here Alexei's pile o'stuff, featuring writing on software development, travel, photography, and more.	5.1 parsecs Travel
\|	\|
\|	\|	crdt.tech CRDT Papers Conflict-free Replicated Data Types Resources and community around CRDT technology - papers, blog posts, code and more.	5.1 parsecs Travel
\|	\|
\|	\|	databases.systems Building a collaborative text editor in Go Exploring how pairpad was built in Go.	13.7 parsecs Travel
\|