System design notes: rate limiter
Token bucket, fixed window, sliding window, and the tradeoffs that matter when the service grows.
02 / Field notes
Blog
Technical writing and learning logs.
Notes on formal verification, system design, tooling, debugging, and the things worth remembering after building.