Formal verification's real value: shrinking the search space for red teams
jd_pressman · x · 2026-11-15
jdpressman argues the primary point of formal verification isn't writing perfect software on the first pass, but reducing the search space so red teams can go straight after what remains most vulnerable.
The quoted practice: instructing ChatGPT to write a profiler finding every spot on the request path where a DoS could theoretically occur (attacker-controllable resources), then testing under load with deployment benchmarks — empirically eliminating DoS bugs as a category in a web server.
Related event: Using ChatGPT to profile and eliminate DoS vulnerabilities(2 posts)→
More from coding & agent
- Multiplayer human-agent workflows are the underexplored future of coding — diegobuildsai · 2026-11-15
- One Kyoto photo becomes a walkable 3D world via Atlas, Three.js and Claude — Scobleizer · 2026-11-15
- 21st.dev offers 12,000+ crafted React UI components you can feed straight into AI coding agents — ericspo29 · 2026-11-15
- Sandbox resource caps risk hobbling production, but FOSS benchmarks ease the worry — jd_pressman · 2026-11-15
- Two prompts, pure Web Components: agent reuses 14 UI SDK behaviors out of the box — evilrabbit_ · 2026-11-15
- Open-source 22-chapter course teaches you to build production AI agents by using an agent — adnan_hashmi · 2026-11-15