Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Conflict-Free Replicated Data Types

Showing: 15 courses
media.ccc.de

Ethersync - Echtzeit-Kollaboration in deinem Texteditor

0 rewiews
Entdecke Ethersync: Revolutionäre Echtzeit-Kollaboration für lokale Dateien. Erlebe nahtlose Zusammenarbeit in deinem bevorzugten Texteditor, ähnlich wie Etherpad, aber mit voller Kontrolle über deine Daten.
Add to list
1 Lesons
51 minutes
On-Demand
Free-Video
ACM SIGPLAN

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

0 rewiews
Explore Secure RDTs for enforcing role-based access control on offline-available JSON data, enhancing security in applications with intermittent network connectivity.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
CNCF [Cloud Native Computing Foundation]

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

0 rewiews
Explore Conflict-Free Replicated Data Types (CRDTs) for building distributed systems, covering theory, implementation, and practical applications in collaborative and local-first software.
Add to list
24 Lesons
54 minutes
On-Demand
Free-Video
ACM SIGPLAN

Modular Verification of Op-Based CRDTs in Separation Logic

0 rewiews
Explore modular verification of op-based CRDTs using separation logic. Learn about Reliable Causal Broadcast and OpLib for simplified CRDT implementation and correctness proofs.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
ACM SIGPLAN

Mixed and Verified Consistency with Propel and ConOpY

0 rewiews
Explore mixed consistency in distributed systems using ConOpY language and Propel type system for verifying CRDTs, enhancing data replication and local-first applications.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
Fission

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

0 rewiews
Explore Conflict-free Replicated Data Types (CRDTs) in distributed systems, understanding their principles, applications, and implementation challenges.
Add to list
1 Lesons
57 minutes
On-Demand
Free-Video
Fission

Making CRDTs Byzantine Fault Tolerant

0 rewiews
Explore techniques for enhancing Conflict-free Replicated Data Types (CRDTs) to withstand Byzantine faults, improving distributed system resilience and reliability.
Add to list
1 Lesons
1 hour
On-Demand
Free-Video
ACM SIGPLAN

Type-Checking CRDT Convergence

0 rewiews
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.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
Strange Loop Conference

CRDTs Illustrated

0 rewiews
Explore CRDTs for partition-tolerant applications, covering concepts, implementation methods, and real-world examples in distributed storage and offline-friendly web apps.
Add to list
16 Lesons
36 minutes
On-Demand
Free-Video
Strange Loop Conference

Distributed, Eventually Consistent Computations

0 rewiews
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.
Add to list
16 Lesons
40 minutes
On-Demand
Free-Video
NDC Conferences

Offline First Computing in an Online World

0 rewiews
Explore offline-first computing using CRDTs and DDS for distributed applications. Learn to build systems that work locally and synchronize seamlessly, enabling serverless infrastructure and real-time updates.
Add to list
1 Lesons
1 hour 3 minutes
On-Demand
Free-Video
Gopher Academy

Using CRDTs to Build a Highly Available Decentralized Service

0 rewiews
Explore CRDTs for building decentralized services in Go, covering implementation, advantages, and practical applications in distributed systems.
Add to list
17 Lesons
50 minutes
On-Demand
Free-Video
NDC Conferences

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

0 rewiews
Explore how CRDTs and distributed editing enable offline collaboration for writers, empowering digital nomads to work together anywhere, even atop Half Dome.
Add to list
12 Lesons
49 minutes
On-Demand
Free-Video
NDC Conferences

Living in Eventually Consistent Reality

0 rewiews
Explore eventual consistency, CRDTs, and their role in geo-distributed databases. Learn how these structures work and their benefits for highly available systems.
Add to list
18 Lesons
57 minutes
On-Demand
Free-Video
ACM SIGPLAN

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

0 rewiews
Explore advanced techniques for collaborative editing: implement undo/redo functionality and move operations in CRDTs, enhancing real-time document synchronization and user experience.
Add to list
1 Lesons
37 minutes
On-Demand
Free-Video