ENGINEER AWAY THE SLOP

Summary from the TLDR newsletter

The field of formal verification and deterministic system testing is about to cross a chasm. There are not enough skilled practitioners in the field. Bug-catching tools, when used in conjunction with adversarial code reviews by an LLM and with language analyzers driven by pre-commit hooks, will be a key component in software factories. They will enable people/agents to deliver reliable software without the burden of having to learn this specialized knowledge.