Blog posts by
Observability at scale
Reliable systems that explain themselves.
Reliability on the road
How computers get their driver's license.
Finding the cracks
How simple methods break complex software.
Make the computers work
Autonomous testing is self-care.
Nothing's untestable
You just need the right mental models.
Thinking has no replacement
There are many tools to improve software correctness, and formal methods can be one of them.
The pragmatic magic of semi-formal methods
Software verification without pain.