AI software reliability
GeekieNews publishes essays, audits, and tool releases on deterministic verification for agent-generated code: static analysis, never the model.
audit
A router that sends every task to the most expensive model is not a router. Two defects explain why our first one did, and both were found by running it rather than reasoning about it.
audit
A merge gate should prove that valid changes pass, unsafe changes fail for the right reasons, and local evidence never impersonates hosted review or deployment proof.
essay
Stronger coding agents do not make the harness obsolete. They make independent evidence about scope, validation, ownership, CI, and human review more important.
