Topic Archive
Verification
Verification
Tests, gates, and feedback loops that keep software honest.
Showing 3 articles tagged Verification.
Case Study
Predicting Peak Memory for an Electromagnetic Mode Solver
How we replaced a heuristic memory estimate with a calibrated model for Tidy3D mode solver workloads, eliminating under-predictions across the calibration set.
Case Study AI Engineering
"What Should We Work On Next?"
The story of building an 80,000-line autodiff library almost entirely through AI agents — and the verification infrastructure that made it possible.
Essay AI Engineering
The Agent Control Loop — Engineering for Tolerance
Why agent reliability isn't magic model behavior — it's an environment where correctness is continuously verified. A framework for deciding when and how to delegate to AI agents.