Agentic Verification - by Addy Osmani - Elevate

kept by eddie oct 15

Equipping AI agents with self‑verification—through fast, deterministic E2E, property‑based, and differential tests—lets them iteratively ensure correctness, shifting the bottleneck from writing code to validating it.

I wrote a 70x faster SQL parser while barely looking at the code - PostHog
The author used AI agents to rewrite PostHog's SQL parser in Rust, achieving a 70x speedup (454x in production) via property-based testing and oracle-based development.
also on Hypothesis, #ai-coding, #software-engineering, #developer-tools
The Code Nobody Reads - by Addy Osmani - Elevate
Line‑by‑line code review is declining; teams must replace it with trusted automated checks while retaining human accountability for what ships.
also on Addy Osmani, #automation, #ai-coding, #software-engineering, #developer-tools
Software Factories, Light and Dark (via @addyosmani)
A software factory is a harnessed loop at scale that can be run with humans trading judgment for speed, or fully automated without them.
also on Addy Osmani, #automation, #software-engineering, #developer-tools