| | Lf-lean: The frontier of verified software engineering (theorem.dev) |
| 47 points by alpaylan 20 days ago | past | 9 comments |
|
| | Systematically generating tests that would have caught Anthropic's top‑K bug (theorem.dev) |
| 80 points by jasongross 80 days ago | past | 20 comments |
|
| | Systematically generating tests that would have caught Anthropic's top‑K bug (theorem.dev) |
| 2 points by ag8 5 months ago | past |
|
