We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
Petr Guskov ·
April 29, 2026
We use TLA+ to prove the design of our notification sender is correct. This post explains why, what we proved, and how it maps to the production code.
Continue reading
Petr Guskov ·
April 24, 2026
Our SMS pipeline re-sent the same notifications repeatedly for 4 hours. Here's what happened, why, and what we shipped to fix it.
Continue reading
Petr Guskov ·
April 23, 2026
After years of fighting data syncs and vendor limitations, I built a marketing platform that reads your database directly.
Continue reading