forks

Recent Submissions

1. 1. ▲ Claude: Elevated errors across many models [resolved] (status.claude.com) 189 points · 5 days ago · 159 comments
2. 2. ▲ An Unbiased OSS Benchmark for Code Review Agents (codereview.withmartian.com) 3 points · 16 days ago · 0 comments
3. 3. ▲ The human cost of 10x: How AI is physically breaking senior engineers (techtrenches.dev) 82 points · 2 months ago · 71 comments
4. 4. ▲ Zero Day Clock: The gap between disclosure and exploitation is collapsing to 0 (zerodayclock.com) 3 points · 2 months ago · 0 comments
5. 5. ▲ AI Agents Gone Rogue (osohq.com) 1 point · 2 months ago · 0 comments
6. 6. ▲ AWS Duvet: a bidirectional link between implementation and specification (awslabs.github.io) 12 points · 5 months ago · 1 comment
7. 7. ▲ Hax: Verifying Security-Critical Rust Software Using Multiple Provers (eprint.iacr.org) 2 points · 5 months ago · 0 comments
8. 8. ▲ Bake Oven Knob (en.wikipedia.org) 2 points · 5 months ago · 0 comments
9. 9. ▲ Learning from Sudoku Solvers (2007) (ravimohan.blogspot.com) 22 points · 5 months ago · 8 comments
10. 10. ▲ Architecting Security for Agentic Capabilities in Chrome (security.googleblog.com) 1 point · 5 months ago · 0 comments