Systematically generating tests that would have caught Anthropic's top‑K bugtheorem.dev2 points·ag8··0 commentsOpen articleSaveView on HN