{"id":18804140,"url":"https://github.com/see-quick/see-quick","last_synced_at":"2026-03-19T06:29:06.390Z","repository":{"id":119348913,"uuid":"365161270","full_name":"see-quick/see-quick","owner":"see-quick","description":null,"archived":false,"fork":false,"pushed_at":"2024-09-30T18:31:39.000Z","size":40,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2024-12-29T20:42:05.912Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/see-quick.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2021-05-07T08:10:50.000Z","updated_at":"2024-09-30T18:31:42.000Z","dependencies_parsed_at":null,"dependency_job_id":"eaf75ea5-28f1-409e-a673-e02ba338793f","html_url":"https://github.com/see-quick/see-quick","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/see-quick%2Fsee-quick","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/see-quick%2Fsee-quick/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/see-quick%2Fsee-quick/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/see-quick%2Fsee-quick/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/see-quick","download_url":"https://codeload.github.com/see-quick/see-quick/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":239736561,"owners_count":19688482,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-07T22:38:15.891Z","updated_at":"2026-03-19T06:29:06.378Z","avatar_url":"https://github.com/see-quick.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"### Hello! \u003cimg src=\"https://user-images.githubusercontent.com/74038190/212257468-1e9a91f1-b626-4baa-b15d-5c385dfa7ed2.gif\" width=\"30\"/\u003e \n\u003cimg src=\"https://user-images.githubusercontent.com/74038190/225813708-98b745f2-7d22-48cf-9150-083f1b00d6c9.gif\" width=\"350\" align=\"right\"/\u003e\n\n- \u003cimg src=\"https://user-images.githubusercontent.com/74038190/216656967-625b2a52-e638-4c21-a8ae-180560386f96.gif\" width=\"40\"/\u003e **Currently**, I'm dedicating my efforts as a maintainer for the [Strimzi](https://strimzi.io/) project.\n- \u003cimg src=\"https://user-images.githubusercontent.com/74038190/235294012-0a55e343-37ad-4b0f-924f-c8431d9d2483.gif\" width=\"25\"/\u003e **Reach out** via [![LinkedIn](https://img.shields.io/badge/LinkedIn-0077B5?style=flat\u0026logo=LinkedIn\u0026logoColor=white)](https://www.linkedin.com/in/majkl-orsak/)\n- \u003cimg src=\"https://user-images.githubusercontent.com/74038190/216656971-9a208a88-e6ad-4b7a-88eb-c410e4cf0e00.gif\" width=\"40\"/\u003e **Exploring** formal verification methods and system validation.\n- \u003cimg src=\"https://user-images.githubusercontent.com/74038190/216122003-1c7d9078-357a-47f5-81c7-1c4f2552e143.png\" width=\"25\"/\u003e **Blog:** [see-quick.github.io](https://see-quick.github.io/)                                    \n- 🎯 **Daily Kafka Quiz:** [Test your Apache Kafka knowledge each day!](https://see-quick.github.io/kafka-quiz/)\n### Latest Blog Posts\n\n| Date       | Title                                                                 | Link                                                           |\n|------------|-----------------------------------------------------------------------|----------------------------------------------------------------|\n| 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/) |\n| 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/) |\n| 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/) |\n| 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/) |\n| 2026-01-15 | 32 💧 Strimzi Test Container: Simplifying Kafka \u0026 Connect Testing | [Read more](https://strimzi.io/blog/2026/01/15/strimzi-test-container/) |\n| 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/) |\n| 2025-11-17 | 30 🔮 Quantum Programming on Your Laptop: Introduction | [Read more](https://see-quick.github.io/posts/quantum-programming-introduction/) |\n| 2025-11-15 | 29 🔌 Model Context Protocol (MCP): From Concept to Code | [Read more](https://see-quick.github.io/posts/mcp-introduction-practical-guide/) |\n| 2025-11-11 | 28 🎯 Kafka Internals #5: KRaft - The Controller Architecture | [Read more](https://see-quick.github.io/posts/kafka-internals-kraft-controller-architecture/) |\n| 2025-11-06 | 27 ⚖️ Messaging Systems Comparison | [Read more](https://see-quick.github.io/posts/messaging-systems-comparison/) |\n| 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/) |\n| 2025-10-28 | 25 🔧 Kafka Practical: Testing with Strimzi Test Containers | [Read more](https://see-quick.github.io/posts/kafka-practical-strimzi-test-containers/) |\n| 2025-10-23 | 24 🔧 Kafka Practical: Consumer Groups | [Read more](https://see-quick.github.io/posts/kafka-practical-consumer-groups/) |\n| 2025-10-19 | 23 🤝 Kafka Internals #4: Consumer Groups \u0026 Coordination Protocol | [Read more](https://see-quick.github.io/posts/kafka-internals-consumer-groups-coordination/) |\n| 2025-10-16 | 22 🧪 Kafka Practical: Performance Testing \u0026 Runtime Verification Through Logs                | [Read more](https://see-quick.github.io/posts/kafka-practical-performance-testing-and-runtime-verification/) |\n| 2025-10-13 | 21 🔄 Kafka Internals #3: Replication Protocol \u0026 In-Sync Replicas Management                | [Read more](https://see-quick.github.io/posts/kafka-internals-replication-protocol/) |\n| 2025-10-10 | 20 💾 Kafka Internals #2: Storage Layer \u0026 Log Segments                | [Read more](https://see-quick.github.io/posts/kafka-internals-storage-layer-and-log-segments/) |\n| 2025-10-07 | 19 📨 Kafka Internals #1: Broker Request Processing Flow               | [Read more](https://see-quick.github.io/posts/kafka-internals-broker-request-processing/) |\n| 2025-10-05 | 18 📨 Apache Kafka: WHAT, WHY, and HOW                                 | [Read more](https://see-quick.github.io/posts/apache-kafka-introduction/) |\n| 2025-10-01 | 17 ☕ JDK 25: Practical New Features You'll Actually Use               | [Read more](https://see-quick.github.io/posts/java-25/) |\n| 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/) |\n| 2025-04-01 | 15 ⏳ Liveness in Formal Verification: Something Good Eventually Happens | [Read more](https://see-quick.github.io/posts/liveness/) | \n| 2025-03-29 | 14 🔍 Safety in Formal Verification: Nothing Bad Ever Happens         | [Read more](https://see-quick.github.io/posts/safety/) |\n| 2025-03-22 | 13 🐞 Formal Verification 101: What, Why, and How                     | [Read more](https://see-quick.github.io/posts/formal-verification-101/) |\n| 2025-03-01 | 12 🚀 Supercharge Your Dev Setup with Neovim, Starship, and WezTerm   | [Read more](https://see-quick.github.io/posts/nvim-sharship-wezterm/) |\n\n- 💻 Actively contributing to various interesting open-source projects, always looking for new challenges and collaborations.\n\n![Anurag's GitHub stats](https://github-readme-stats.vercel.app/api?username=see-quick\u0026show_icons=true\u0026count_private=true\u0026theme=tokyonight)\n\n[![Top Langs](https://github-readme-stats.vercel.app/api/top-langs/?username=see-quick\u0026theme=tokyonight\u0026layout=compact\u0026langs_count=10)](https://github.com/anuraghazra/github-readme-stats)\n\nNOTE: 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.\n\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsee-quick%2Fsee-quick","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsee-quick%2Fsee-quick","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsee-quick%2Fsee-quick/lists"}