Tag:software-verification
All the articles with the tag "software-verification".
Coding Agents Work Best When Verification Is Cheaper Than Reimplementation
Updated:CommentaryDiscusses: Old and new apps, via modern coding agents
Terence Tao's restored mathematical applets show where coding agents have real leverage—tasks whose outputs remain cheap for an expert to verify.
Property-Based Testing Starts with the Property, Not the Generator
Updated:CommentaryDiscusses: Beyond Accidental Quality: Finding Hidden Bugs with Generative Testing + 5 more
Property-based testing is more than randomized input generation; its value depends on the property, distribution, oracle, shrinking, and evidence.
Token Usage Is an Input Cost, Not an Engineering Outcome
Updated:CommentaryDiscusses: From story points to tokenmaxxing: Why engineering keeps measuring the wrong things
Counting tokens repeats an old measurement mistake unless AI-assisted work is evaluated through delivery, quality, and user outcomes.