Conflict-Free Replicated Data Types Courses and Certifications

ChariotSolutions

Automerge: A New Foundation for Collaboration Software

Explore Automerge, an open-source library simplifying real-time collaboration in software. Learn about its JSON-like data structure, offline support, and the underlying CRDT technology.

• YouTube
• 1 hour
• On-Demand
• Free Video

Conflict-Free Replicated Data Types (CRDTs) in Distributed Systems

Explore Conflict-Free Replicated Data Types (CRDTs) for building distributed systems, covering theory, implementation, and practical applications in collaborative and local-first software.

• YouTube
• 54 minutes
• On-Demand
• Free Video

Fission

Conflict-Free Replicated Data Types (CRDTs) - April 2022

Explore Conflict-free Replicated Data Types (CRDTs) in distributed systems, understanding their principles, applications, and implementation challenges.

• YouTube
• 57 minutes
• On-Demand
• Free Video

PyCon US

Enhancing Code Collaboration with Conflict Free Replicated Data Types

Explore conflict-free replicated data types (CRDTs) and their potential to enhance Jupyter notebooks, enabling real-time collaboration, synchronous editing, and improved version control in data science workflows.

• YouTube
• 27 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

CRDTs Illustrated

Explore CRDTs for partition-tolerant applications, covering concepts, implementation methods, and real-world examples in distributed storage and offline-friendly web apps.

• YouTube
• 36 minutes
• On-Demand
• Conference Talk

NDC Conferences

Living in Eventually Consistent Reality

Explore eventual consistency, CRDTs, and their role in geo-distributed databases. Learn how these structures work and their benefits for highly available systems.

• YouTube
• 57 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Distributed, Eventually Consistent Computations

Explore Lasp, a new programming model for distributed computations, combining convergent data structures with dataflow execution for large-scale applications with limited connectivity and unreliable networks.

• YouTube
• 40 minutes
• On-Demand
• Conference Talk

Gopher Academy

Using CRDTs to Build a Highly Available Decentralized Service

Explore CRDTs for building decentralized services in Go, covering implementation, advantages, and practical applications in distributed systems.

• YouTube
• 50 minutes
• On-Demand
• Conference Talk

NDC Conferences

What CRDTs, Distributed Editing and the Speed of Light Means to Your Writer Friends

Explore how CRDTs and distributed editing enable offline collaboration for writers, empowering digital nomads to work together anywhere, even atop Half Dome.

• YouTube
• 49 minutes
• On-Demand
• Conference Talk

Fission

Making CRDTs Byzantine Fault Tolerant

Explore techniques for enhancing Conflict-free Replicated Data Types (CRDTs) to withstand Byzantine faults, improving distributed system resilience and reliability.

• YouTube
• 1 hour
• On-Demand
• Free Video

ACM SIGPLAN

Mixed and Verified Consistency with Propel and ConOpY

Explore mixed consistency in distributed systems using ConOpY language and Propel type system for verifying CRDTs, enhancing data replication and local-first applications.

• YouTube
• 17 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data

Explore Secure RDTs for enforcing role-based access control on offline-available JSON data, enhancing security in applications with intermittent network connectivity.

• YouTube
• 18 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Modular Verification of Op-Based CRDTs in Separation Logic

Explore modular verification of op-based CRDTs using separation logic. Learn about Reliable Causal Broadcast and OpLib for simplified CRDT implementation and correctness proofs.

• YouTube
• 15 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Extending Automerge: Undo, Redo, and Move Operations - PLF23

Explore advanced techniques for collaborative editing: implement undo/redo functionality and move operations in CRDTs, enhancing real-time document synchronization and user experience.

• YouTube
• 37 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Type-Checking CRDT Convergence

Explore Propel, a language with a type system for verifying algebraic properties in CRDT implementations. Learn about its case analysis and induction approach for ensuring correctness.

• YouTube
• 16 minutes
• On-Demand
• Free Video