Verifying a simplified model rather than the real system is worth doing even though the real system will still have bugs, because the bugs you designed in never get built.

Added to korrents 29 Jul 2026 · How quotes work · Something wrong? Tell us

Related korrents

Our reading — they may agree, disagree or merely touch the same thing. Closest first: a shared subject counts for most, then how near the wording is.

• Loop engineering works exactly as far as verification does: make a problem very verifiable and you can treat it as a black box and let the model run. DHDex Horthy15 Jul 2026similar wording
• Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front. BCBoris Cherny27 Jul 2026similar wording
• Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's. HWHillel Wayne20 Jan 2021similar wording
• Tests written by a model in the same context as the change are what find the bugs; the automated tests left behind are the lesser product. PSPeter Steinberger25 Aug 2025similar wording
• The skill that matters now is not prompt engineering but giving a model a way to verify its own work, and it is the thing people most often get wrong. BCBoris Cherny27 Jul 2026similar wording

See this on the map →