NATS: The Challenger to Kafka's Messaging Throne
Explore NATS as a cloud-native messaging solution, comparing it to Kafka. Learn its architecture, features, and capabilities through real-world scenarios and hands-on demonstrations.
High-Load Systems: Challenges in Social Network Development
Explore challenges and solutions in developing high-load social network systems. Learn optimization techniques, industry best practices, and key considerations for managing large-scale platforms.
Efficient and Frugal Image Data Processing Pipelines
Explore efficient image data processing techniques, from format selection to cloud optimization, distributed processing, and ethical considerations for large-scale operations.
Building ML-Enhanced Event Streaming Apps with Java Microservices
Explore building ML-enhanced event streaming applications using Java microservices and Apache Pulsar. Learn about Pulsar's architecture, functions, and programming model through a practical coding demo.
Chaos Engineering for SRE Enablement
Explore chaos engineering principles for SRE enablement, enhancing system resilience and reliability through controlled experiments and proactive failure testing.
Let's Go Build Cloud Native Pulsar Apps with Go
Develop cloud-native Pulsar applications using Go, exploring key concepts and best practices for building scalable, event-driven systems.
Event-Driven Change Data Capture Pattern
Explore event-driven Change Data Capture patterns and their implementation using Apache Pulsar for efficient, real-time data synchronization in cloud-native environments.
Observability vs. Performance Monitoring in DevOps
Explore the differences between observability and performance monitoring in DevOps, gaining insights to enhance system reliability and troubleshooting capabilities.
Reliability in the Face of Uncertainty - Chaos Engineering 2023
Explore strategies for building reliable systems in uncertain environments, focusing on chaos engineering principles and practical implementation techniques.
Vaccinate Your Software - Build Its Immunity
Explore software vaccination techniques to build resilient systems and enhance immunity against failures in chaos engineering.
How Microsoft Shifted Left: Improving Certificate Outages and Resilience - Chaos Engineering 2023
Explore Microsoft's shift-left approach to enhance certificate management and prevent outages in distributed systems. Learn strategies for building resilient infrastructure.
Building Resilience through Chaos Engineering
Explore chaos engineering principles to build resilient systems, enhance fault tolerance, and improve system reliability in complex distributed environments.
Randomized Testing of Byzantine Fault Tolerant Algorithms
Explore ByzzFuzz, a randomized testing method for detecting errors in Byzantine fault-tolerant algorithms. Learn how it uncovers protocol and implementation bugs in blockchain systems through innovative message mutations.
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.
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.
Multi-Stage Vertex-Centric Programming for Agent-Based Simulations
Explore multi-stage vertex-centric programming for agent-based simulations, improving performance and control flow in complex graph algorithms through meta-programming techniques.
Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Explore a novel interactive verification methodology using relational abstraction to tackle quantifier reasoning challenges in infinite-state systems, with applications to distributed protocols.
Message Chains for Distributed System Verification
Explore an automated bookkeeping method using message chains to simplify verification of asynchronous distributed programs, revealing execution structure and aiding in system-level reasoning.
Deep Dive into Data Mesh Principles
Explore Data Mesh principles: domain ownership, data as product, self-serve platform, and federated governance for modern business success.
Little Things and Big Things - Lessons for Building Large Systems
Explore essential lessons for designing large-scale systems, covering crucial rules, buffer management, distributed system challenges, and effective strategies for maintaining system stability and performance.
Zero Trust RabbitMQ with HashiCorp Vault
Implement Zero Trust security for RabbitMQ using HashiCorp Vault. Learn to manage access, ensure data confidentiality, and simplify cryptography for secure messaging in a demo-driven exploration.