Proof library by Michał Gacek

Practical notes on AI workflows, architecture, quality, and full-stack delivery.

These posts document decisions behind real systems: TypeScript, backend architecture, testing strategy, developer workflows, and AI beyond demos.

AI-assisted engineering Agents, tool workflows, local automation, and evaluation.
Software architecture Product modeling, backend boundaries, and delivery trade-offs.
Quality and DX Playwright, TypeScript, CI feedback, and maintainable tests.