Formal proofs of tens of millions of lines of code are now feasible, says Anthropic engineer
morqon · x · 2026-11-06
Quoting thsottiaux: formal proofs over tens of millions of lines of code are no longer ridiculous and should be considered when designing new systems. morqon suggests adjusting your prompts accordingly, implying current models can support large-scale formal verification workflows.
More from coding & agent
- Matt Pocock on why software fundamentals matter more than ever in the AI coding era — mattpocockuk · 2026-11-06
- Floci: open-source local AWS emulator runs 120+ services in 24ms, free LocalStack alternative — thisguyknowsai · 2026-11-06
- Garden Skills' motion-showreel turns Claude Code into a code-rendered video studio — thisdudelikesAI · 2026-11-06
- When AI proofreads your Chinese comments line by line, code becomes a foreign language — ducha_aiki · 2026-11-06
- Open-source social-api pulls 1,000 competitor ads for under $0.05, wired into Claude Code — ayushtweetshere · 2026-11-06
- Machenta brings a robot to London's King's Cross to let the public teach it on the spot — Ed__Johns · 2026-11-06