Affine-Bundle Solver v0.4.4 Released
The first public research release is available on GitHub and preserved by Zenodo, with the accompanying preprint submitted to HAL.
Tag:Software Verification
All the articles with the tag "Software Verification".
Affine-Bundle Solver
A certifying dense solver for general real linear equality systems that reports solution status, uncertainty, and independently checked proof objects.
Token Usage Is an Input Cost, Not an Engineering Outcome
Counting tokens repeats an old measurement mistake unless AI-assisted work is evaluated through delivery, quality, and user outcomes.
Coding Agents Work Best When Verification Is Cheaper Than Reimplementation
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
Property-based testing is more than randomized input generation; its value depends on the property, distribution, oracle, shrinking, and evidence.