4 posts
The default 100 examples in property-based testing is a social compromise, not a statistical strategy.
If you're running property-based tests with the default 100 examples, you're getting the worst of both worlds. Your CI is slower than it needs to be, and…
Example-based testing only covers the inputs you thought of.
You wrote a function. You tested it with and . It passes. You ship it. A user passes a single-element slice. Your function drops it on the floor. They open an…
If you want AI-generated code to survive production, do not rely on code review alone.
The most dangerous thing about AI-generated code is not that it is always wrong. It is that it is often good enough to merge. That is exactly what makes it…
Design by contract, property-based testing, mutation testing, and model checking were not bad ideas. They were too expertise-heavy to sustain.
Software engineering is full of ideas that look obviously correct the moment you read them. Of course contracts should define what a function is allowed to…