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-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.