Things keep changing every 2 months when it comes to agentic coding, that scrap blog posts. Forum questions compel me to write something down in the open. Here are four points I can stand by today below: news.ycombinator.com/item?id=501...
Post
Verifiers and Guardrails: Guardrails don't change with the feature, like typecheckers, linters, and pre-commit hooks. Verifiers are different for different features, such as unit/integration tests, formal method proofs, design verifiers.
0 reposts0 likes