← All Topics

Topic Archive

Verification

Verification

Tests, gates, and feedback loops that keep software honest.

Showing 4 articles tagged Verification.

Case Study

We built a layout viewer for AI agents. Then an agent scaled it to 38 million shapes.

How a goal-driven loop turned PhotonForge's browser LiveViewer from a half-million-shape viewer into a 38-million-shape, 60 FPS tool for humans and agents.

Prash Kharel & Darcy Parker
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.

Momchil Minkov
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.

Yannick Augenstein & Frederik Schubert
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.

Frederik Schubert & Yannick Augenstein