Ludvík Prokopec

DOWNLOAD CV (PDF) ↓
14/11/2026

Writing for Humans in Agentic Development

Agent prose outnumbers agent diffs. 3 fixes: telegraphic style, bullets, a fixed What / How / Why / Verified / Door / Not done shape.

Agentic Development / AI Tooling / Developer Experience / Writing
21/06/2026

Beyond Eventual Consistency: Implementing Zanzibar-Style Zookies in Distributed CQRS for Causal Consistency

Reading from the write database destroys the core benefits of CQRS. This article explores a pattern using causal tokens to guarantee session consistency without sacrificing write database performance.

Software Architecture / CQRS / Distributed Systems / System Design
14/06/2026

Token Architecture Evolution: From Sessions to Transaction Tokens

An exploration of the evolution of token-based authentication and authorization patterns within microservice architectures — analyzing trade-offs between performance, privacy, instant revocability, and security scoping.

OAuth 2.0 / API Security / Architecture / JWT / Microservices
02/02/2026

Solving the Lost YubiKey problem with WebAuthn PRF & Shamir’s Secret Sharing

This article proposes a conceptual design for a password manager utilizing the WebAuthn PRF extension for client-side encryption. By integrating Shamir’s Secret Sharing, the work presents a decentralized recovery mechanism for non-exportable credentials. This theoretical model guarantees that only the owner possesses the cryptographic material required for recovery.

Cryptography / WebAuthn / Passkeys / Recovery