Technical writing and learning logs.

Notes on formal verification, system design, tooling, debugging, and the things worth remembering after building.

Jun 25, 2026formal verificationhardwarenotes

What is formal verification?

A plain-language starting point for proofs, assertions, state spaces, and why bugs hide in hardware designs.

Jun 24, 2026system designbackend

Token bucket, fixed window, sliding window, and the tradeoffs that matter when the service grows.

Jun 23, 2026metaportfolio

A short positioning note for the site: portfolio, technical blog, project demos, and experiments under one developer identity.