Anthropic
Claude Has Proven 123 Open-Source Libraries: AI Enters Software Verification
Claude generated machine-checkable proofs for 123 libraries and 239 fuzzing targets, marking AI's shift from code generation to software correctness v
Back to home
AI Code Review
2 articles tagged with this topic
Andrej Karpathy
AI Code Verbosity Is Roasted — The Real Crisis: Users Skip the Review
A Reddit post spotlights programmers letting AI write code without reading. Karpathy calls it Vibe Coding—now spreading to reports and proposals.