
Interactive class exploring orchestration, load balancing, databases, and storage in distributed systems. Covers key concepts and design principles for large data processing pipelines through collaborative exercises.

Explore distributed consensus through "Skinny," a lock service. Learn Paxos protocol, design a simple consensus protocol, and tackle implementation challenges from theory to coding.

Explore the architecture of typical and distributed file systems, including key components and operations. Learn through a simple Python implementation of a basic distributed file system.

Explore a novel blockchain system with high throughput and fast confirmation, featuring an optimistic consensus protocol and adaptive weight mechanism to enhance scalability and security.

Explore common performance patterns in distributed systems and learn automated detection techniques using CNCF's Keptn project for CI/CD pipelines, focusing on SLI/SLO-based quality gates.

Explore distributed consensus through "Skinny," a lock service. Learn Paxos protocol, design a simple consensus protocol, and tackle implementation challenges in distributed systems.

Innovative consensus protocol for replicated state machines that maintains normal latency despite slowdown of any single replica, using pilot and copilot for redundancy and fast takeovers.

Explore a multi-year tech debt resolution journey, focusing on reducing database connections from 15,000 to under 100. Learn strategies for handling scaling challenges in distributed systems.

Explore System Dynamics for modeling feedback loops in distributed systems. Learn its history, tools, and applications to prevent outages and improve software architecture design.

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

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.

Explore formal methods for distributed systems using P programming framework. Learn to model, specify, and verify complex systems across development phases, from design to production.

Explore resilient microservices design using Service-Level Fault Injection Testing. Learn about Filibuster, a tool that verifies application behavior under failure, combining static analysis and test synthesis for robust systems.

Explore innovative indexing strategies for large-scale immutable databases, including learned and adaptive indexes, addressing engineering challenges in distributed environments.

Explore systematic techniques for automatically generating effective runtime checkers to detect and localize failures in complex distributed systems, enhancing reliability and performance.

Explore innovative approaches to prevent phishing and impersonation attacks in digital systems. Learn about trust-based identity models and a prototype address book that enhances security without compromising usability.

Explore architectural principles for building scalable, fault-tolerant systems using isolated parallel components, error detection, and live code upgrades, with insights from Erlang's design.

Explore efficient streaming of static data using Akka Persistence, focusing on architecture, implementation, and performance tuning for distributed systems and enterprise applications.

Explore architectural constraints for extreme scalability, focusing on design approaches, real-world examples, and leveraging Lightbend tools to create systems that scale without limits.

Explore Jaeger and distributed tracing for cloud-native app observability. Learn current features, future roadmap, and how Jaeger enhances monitoring in microservices architectures.

Explore microservice debugging with Linkerd's traffic analysis, reducing MTTR and isolating issues without code changes or team coordination in distributed systems.