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
| Date | Title | Link |
|---|---|---|
| 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.