Our product accidentally found a bug in Postgres! I always hold my company to the highest standards when it comes to software verification. One of the internal metrics we track is how often we find rare correctness issues in some of the world's most well-tested systems. Some of the customers we work with are building things where any unexpected failure could be catastrophic. That often means we verify all the upstream dependencies their products rely on in our environments, too. Sometimes, that turns up interesting findings like this one: while verifying a customer’s software, our simulation engine found a rare bug in Postgres.