forks
- Karma
- 135
- Created
- 7 years ago
Recent Submissions
- 1. ▲ The human cost of 10x: How AI is physically breaking senior engineers (techtrenches.dev)
- 2. ▲ Zero Day Clock: The gap between disclosure and exploitation is collapsing to 0 (zerodayclock.com)
- 3. ▲ AI Agents Gone Rogue (osohq.com)
- 4. ▲ AWS Duvet: a bidirectional link between implementation and specification (awslabs.github.io)
- 5. ▲ Hax: Verifying Security-Critical Rust Software Using Multiple Provers (eprint.iacr.org)
- 6. ▲ Bake Oven Knob (en.wikipedia.org)
- 7. ▲ Learning from Sudoku Solvers (2007) (ravimohan.blogspot.com)
- 8. ▲ Architecting Security for Agentic Capabilities in Chrome (security.googleblog.com)
- 9. ▲ Continuously hardening ChatGPT Atlas against prompt injection attacks (openai.com)
- 10. ▲ We removed 80% of our agent's tools (vercel.com)