Hello!

• Currently, I'm dedicating my efforts as a maintainer for the Strimzi project.
• Reach out via
• Exploring formal verification methods and system validation.
• Blog: see-quick.github.io
• 🎯 Daily Kafka Quiz: Test your Apache Kafka knowledge each day!

Latest Blog Posts

Date	Title	Link
2026-07-07	40 Meet Strimzi's New AI Assistant: Kapa.ai	Read more
2026-05-28	39 Mutation Testing: Why Your Tests Are Lying to You	Read more
2026-05-21	38 Computability Theory Part 6: Reductions, Proving Hardness and Solving Problems	Read more
2026-05-15	37 Computability Theory Part 5: From Computability to Complexity	Read more
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

• 💻 Actively contributing to various interesting open-source projects, always looking for new challenges and collaborations.

NOTE: Top Languages does not indicate my skill level or anything like that, it's a GitHub metric of which languages have the most code on GitHub. It's a new feature of github-readme-stats.