Consensus Algorithms Courses and Certifications

Devoxx

The Computer Science Behind a Modern Distributed Data Store

Explore the challenges and approaches in building distributed, resilient data stores. Learn about consensus algorithms, distributed transactions, and query optimization in modern NoSQL databases like ArangoDB and Cassandra.

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

Devoxx

Distributed Ledger

Explore the evolution of distributed ledger technology and consensus algorithms, from Paxos to Hashgraph, with insights on their pros and cons and impact on application architecture.

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

Devoxx

The Computer Science Behind a Modern Distributed Data Store

Explore the challenges and solutions in modern distributed data stores, covering consensus, transactions, and query optimization. Insights into ArangoDB, Cassandra, Cockroach, and RethinkDB.

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

Fission

Raft Consensus Algorithm - Distributed Systems Reading Group

Explore Raft consensus algorithm with John Ousterhout, discussing its design, implementation challenges, and practical applications in distributed systems.

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

Docker

Everything You Thought You Already Knew About Orchestration - Algorithms and Concepts

Explore advanced orchestration concepts like quorum, consensus, and leader election. Learn debugging techniques and scheduling algorithms to enhance your containerized application management skills.

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

Devoxx

Is There Anybody Out There?

Explore fault-tolerance and scalability in reactive applications, covering failure detectors, dissemination strategies, and consensus algorithms in Akka Cluster, with Pink Floyd references.

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

CNCF [Cloud Native Computing Foundation]

Proofing the Correctness of CURP Consensus Protocol Using TLA+

Explore the CURP consensus protocol's correctness verification using TLA+, delving into its concepts, actions, and implications for distributed systems.

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

Scala Days Conferences

Akka JS - Drop Your Actors Outside the JVM Boundaries

Explore porting Akka to Scala.js, enabling unified concurrent programming across JVM and JavaScript environments. Learn about challenges, implementations, and future plans for this ambitious project.

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

USENIX

Gryff - Unifying Consensus and Shared Registers

Unifying consensus and shared registers for geo-replicated storage with linearizability and low tail latency. Introduces carstamps for efficient ordering of reads and writes in distributed systems.

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

USENIX

Why Are Distributed Systems So Hard?

Explore the challenges of distributed systems, including CAP theorem myths, network partitions, consensus algorithms, and human factors, with cat-illustrated examples.

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

Strange Loop Conference

Correctness Proofs of Distributed Systems with Isabelle

Explore formal verification of distributed systems using Isabelle/HOL. Learn to prove correctness of algorithms, focusing on consensus and agreement properties in infinite state spaces.

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

Strange Loop Conference

Beyond Blockchain - Convergent Consensus

Explore a novel consensus algorithm inspired by CRDTs and category theory, offering efficient and scalable decentralized computation. Learn about Convergent Proof of Stake and its implementation using Convex Lisp.

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

Strange Loop Conference

etcd - Distributed Locking and Service Discovery

Explore etcd's distributed locking and service discovery capabilities, its HTTP+JSON API, consensus algorithm, and architecture. Learn about community-built tools and libraries for this powerful open-source project.

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

Hack In The Box Security Conference

The Impact of Blockchain and Cryptocurrencies

Explore blockchain's impact on currency, governance, and global power dynamics. Discover how this technology challenges traditional financial systems and reshapes national sovereignty.

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

IEEE

Foundations of Dynamic BFT

Explore dynamic Byzantine Fault Tolerance, its challenges, and concrete constructions like Dyno. Learn definitions, related works, and evaluation methods in this comprehensive overview.

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