Blog
Reliability on the road
How computers get their driver's license.
Finding the cracks
How simple methods break complex software.
It’s not recklessness, it’s science
But it’s still nice if someone else is on call.
The soda war of software
Testing and observability are more similar than you think.
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.
Adoption is a social problem
Whether advanced testing tools are your passion project or your startup, the adoption challenges are the same.
The pragmatic magic of semi-formal methods
Software verification without pain.
How Antithesis finds bugs (with help from the Super Mario Bros.)
Can solving Super Mario Bros. help solve your distributed systems issues?
So you think you want to write a deterministic hypervisor?
What is a deterministic hypervisor and why do we need one anyhow?