Systematically generating tests that would have caught Anthropic's top‑K bugtheorem.dev
46 points by jasongross 3 days ago | 13 comments