https://github.com/see-quick/see-quick
https://github.com/see-quick/see-quick
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/see-quick/see-quick
- Owner: see-quick
- Created: 2021-05-07T08:10:50.000Z (about 5 years ago)
- Default Branch: main
- Last Pushed: 2024-09-30T18:31:39.000Z (over 1 year ago)
- Last Synced: 2024-12-29T20:42:05.912Z (over 1 year ago)
- Size: 39.1 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
### Hello! 
- 
**Currently**, I'm dedicating my efforts as a maintainer for the [Strimzi](https://strimzi.io/) project.
- 
**Reach out** via [](https://www.linkedin.com/in/majkl-orsak/)
- 
**Exploring** formal verification methods and system validation.
- 
**Blog:** [see-quick.github.io](https://see-quick.github.io/)
- 🎯 **Daily Kafka Quiz:** [Test your Apache Kafka knowledge each day!](https://see-quick.github.io/kafka-quiz/)
### Latest Blog Posts
| Date | Title | Link |
|------------|-----------------------------------------------------------------------|----------------------------------------------------------------|
| 2026-02-13 | 36 Computability Theory Part 4: Turing Machines and the Hardest Problems | [Read more](https:///see-quick.github.io/posts/computability-theory-part-4-turing-machines-and-the-hardest-problems/) |
| 2026-02-07 | 35 Computability Theory Part 3: Context-Sensitive Languages | [Read more](https:///see-quick.github.io/posts/computability-theory-part-3-context-sensitive-languages/) |
| 2026-02-06 | 34 Computability Theory Part 2: Context-Free Languages | [Read more](https:///see-quick.github.io/posts/computability-theory-part-2-context-free-languages/) |
| 2026-02-04 | 33 Computability Theory Part 1: The Chomsky Hierarchy and Regular Languages | [Read more](https:///see-quick.github.io/posts/computability-theory-part-1-regular-languages/) |
| 2026-01-15 | 32 💧 Strimzi Test Container: Simplifying Kafka & Connect Testing | [Read more](https://strimzi.io/blog/2026/01/15/strimzi-test-container/) |
| 2025-11-23 | 31 🔐 Breaking RSA with Quantum Computing: Shor's Algorithm Explained | [Read more](https://see-quick.github.io/posts/quantum-cryptography-shors-algorithm/) |
| 2025-11-17 | 30 🔮 Quantum Programming on Your Laptop: Introduction | [Read more](https://see-quick.github.io/posts/quantum-programming-introduction/) |
| 2025-11-15 | 29 🔌 Model Context Protocol (MCP): From Concept to Code | [Read more](https://see-quick.github.io/posts/mcp-introduction-practical-guide/) |
| 2025-11-11 | 28 🎯 Kafka Internals #5: KRaft - The Controller Architecture | [Read more](https://see-quick.github.io/posts/kafka-internals-kraft-controller-architecture/) |
| 2025-11-06 | 27 ⚖️ Messaging Systems Comparison | [Read more](https://see-quick.github.io/posts/messaging-systems-comparison/) |
| 2025-11-01 | 26 📜 The History of Messaging Systems: From Telegraph to Event Streaming | [Read more](https://see-quick.github.io/posts/history-of-messaging-systems/) |
| 2025-10-28 | 25 🔧 Kafka Practical: Testing with Strimzi Test Containers | [Read more](https://see-quick.github.io/posts/kafka-practical-strimzi-test-containers/) |
| 2025-10-23 | 24 🔧 Kafka Practical: Consumer Groups | [Read more](https://see-quick.github.io/posts/kafka-practical-consumer-groups/) |
| 2025-10-19 | 23 🤝 Kafka Internals #4: Consumer Groups & Coordination Protocol | [Read more](https://see-quick.github.io/posts/kafka-internals-consumer-groups-coordination/) |
| 2025-10-16 | 22 🧪 Kafka Practical: Performance Testing & Runtime Verification Through Logs | [Read more](https://see-quick.github.io/posts/kafka-practical-performance-testing-and-runtime-verification/) |
| 2025-10-13 | 21 🔄 Kafka Internals #3: Replication Protocol & In-Sync Replicas Management | [Read more](https://see-quick.github.io/posts/kafka-internals-replication-protocol/) |
| 2025-10-10 | 20 💾 Kafka Internals #2: Storage Layer & Log Segments | [Read more](https://see-quick.github.io/posts/kafka-internals-storage-layer-and-log-segments/) |
| 2025-10-07 | 19 📨 Kafka Internals #1: Broker Request Processing Flow | [Read more](https://see-quick.github.io/posts/kafka-internals-broker-request-processing/) |
| 2025-10-05 | 18 📨 Apache Kafka: WHAT, WHY, and HOW | [Read more](https://see-quick.github.io/posts/apache-kafka-introduction/) |
| 2025-10-01 | 17 ☕ JDK 25: Practical New Features You'll Actually Use | [Read more](https://see-quick.github.io/posts/java-25/) |
| 2025-04-14 | 16 🧪 Model-Based Testing: From Spec to Tests with Quint | [Read more](https://see-quick.github.io/posts/model-based-testing-with-formal-verification/) |
| 2025-04-01 | 15 ⏳ Liveness in Formal Verification: Something Good Eventually Happens | [Read more](https://see-quick.github.io/posts/liveness/) |
| 2025-03-29 | 14 🔍 Safety in Formal Verification: Nothing Bad Ever Happens | [Read more](https://see-quick.github.io/posts/safety/) |
| 2025-03-22 | 13 🐞 Formal Verification 101: What, Why, and How | [Read more](https://see-quick.github.io/posts/formal-verification-101/) |
| 2025-03-01 | 12 🚀 Supercharge Your Dev Setup with Neovim, Starship, and WezTerm | [Read more](https://see-quick.github.io/posts/nvim-sharship-wezterm/) |
- 💻 Actively contributing to various interesting open-source projects, always looking for new challenges and collaborations.
[](https://github.com/anuraghazra/github-readme-stats)
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.