forks

Recent Submissions

1. 1. ▲ AWS Duvet: a bidirectional link between implementation and specification (awslabs.github.io) 12 points · 15 days ago · 1 comment
2. 2. ▲ Hax: Verifying Security-Critical Rust Software Using Multiple Provers (eprint.iacr.org) 2 points · 15 days ago · 0 comments
3. 3. ▲ Bake Oven Knob (en.wikipedia.org) 2 points · 19 days ago · 0 comments
4. 4. ▲ Learning from Sudoku Solvers (2007) (ravimohan.blogspot.com) 22 points · 26 days ago · 8 comments
5. 5. ▲ Architecting Security for Agentic Capabilities in Chrome (security.googleblog.com) 1 point · 26 days ago · 0 comments
6. 6. ▲ Continuously hardening ChatGPT Atlas against prompt injection attacks (openai.com) 3 points · 27 days ago · 0 comments
7. 7. ▲ We removed 80% of our agent's tools (vercel.com) 3 points · 1 month ago · 0 comments
8. 8. ▲ Calm: Consistency as Logical Monotonicity (bloom-lang.net) 3 points · 1 month ago · 0 comments
9. 9. ▲ How the 'Lethal Trifecta' sets the conditions for stealing data on command (scworld.com) 1 point · 1 month ago · 1 comment
10. 10. ▲ The Missing Abstraction for AI Agents: The Agent Filesystem (turso.tech) 2 points · 2 months ago · 0 comments