Why Great Engineering Ideas Stayed Niche Until AI Made Them Economical
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…