LLMs make code so cheap that recursive rewrites could make verified software tractable
jd_pressman · x · 2026-10-23
jdpressman argues that verified software historically required verified dependencies, which is why verification was tied to the marginal movement to license software engineering. But with LLMs making code so cheap, writing 100x more code is a tolerable burden for software under adversarial pressure — scalable agents working from existing implementations make recursive rewrites tractable.
More from coding & agent
- Claude Code 上下文面板精细拆解用量,Codex 用户直呼想要 — JeremyNguyenPhD · 2026-10-23
- 零成本 Cloudflare AI 助理教程补课:WAF 限速防密钥泄露刷爆 — sujingshen · 2026-10-23
- 1Password 推出 Agents 平台,让 AI 代理用密码不再裸奔 — pswider · 2026-10-23
- DeepSeek-based agent harness tops Lean Eval at a fraction of the cost, talk reveals — lukaszkaiser · 2026-10-23
- Qdrant ships hands-on GraphRAG tutorial combining vector search with Neo4j graphs — JeremyCMorgan · 2026-10-23
- Sakana AI launches Aquarium, an enterprise AI decision-making agent platform — SakanaAILabs · 2026-10-23