2026-02-13 36 Computability Theory Part 4: Turing Machines and the Hardest Problems Read more 2026-02-07 35 Computability Theory Part 3: Context-Sensitive Languages Read more 2026-02-06 34 Computability Theory Part 2: Context-Free Languages Read more 2026-02-04 33 Computability Theory Part 1: The Chomsky Hierarchy and Regular Languages Read more 2026-01-15 32 💧 Strimzi Test Container: Simplifying Kafka & Connect Testing Read more 2025-11-23 31 🔐 Breaking RSA with Quantum Computing: Shor's Algorithm Explained Read more 2025-11-17 30 🔮 Quantum Programming on Your Laptop: Introduction Read more 2025-11-15 29 🔌 Model Context Protocol (MCP): From Concept to Code Read more 2025-11-11 28 🎯 Kafka Internals #5: KRaft - The Controller Architecture Read more 2025-11-06 27 ⚖️ Messaging Systems Comparison Read more 2025-11-01 26 📜 The History of Messaging Systems: From Telegraph to Event Streaming Read more 2025-10-28 25 🔧 Kafka Practical: Testing with Strimzi Test Containers Read more 2025-10-23 24 🔧 Kafka Practical: Consumer Groups Read more 2025-10-19 23 🤝 Kafka Internals #4: Consumer Groups & Coordination Protocol Read more 2025-10-16 22 🧪 Kafka Practical: Performance Testing & Runtime Verification Through Logs Read more 2025-10-13 21 🔄 Kafka Internals #3: Replication Protocol & In-Sync Replicas Management Read more 2025-10-10 20 💾 Kafka Internals #2: Storage Layer & Log Segments Read more 2025-10-07 19 📨 Kafka Internals #1: Broker Request Processing Flow Read more 2025-10-05 18 📨 Apache Kafka: WHAT, WHY, and HOW Read more 2025-10-01 17 ☕ JDK 25: Practical New Features You'll Actually Use Read more 2025-04-14 16 🧪 Model-Based Testing: From Spec to Tests with Quint Read more 2025-04-01 15 ⏳ Liveness in Formal Verification: Something Good Eventually Happens Read more 2025-03-29 14 🔍 Safety in Formal Verification: Nothing Bad Ever Happens Read more 2025-03-22 13 🐞 Formal Verification 101: What, Why, and How Read more 2025-03-01 12 🚀 Supercharge Your Dev Setup with Neovim, Starship, and WezTerm Read more