| 1. | | The human cost of 10x: How AI is physically breaking senior engineers (techtrenches.dev) |
| 81 points by forks 4 days ago | past | 71 comments |
|
| 2. | | Zero Day Clock: The gap between disclosure and exploitation is collapsing to 0 (zerodayclock.com) |
| 3 points by forks 22 days ago | past |
|
| 3. | | AI Agents Gone Rogue (osohq.com) |
| 1 point by forks 24 days ago | past |
|
| 4. | | AWS Duvet: a bidirectional link between implementation and specification (awslabs.github.io) |
| 12 points by forks 3 months ago | past | 1 comment |
|
| 5. | | Hax: Verifying Security-Critical Rust Software Using Multiple Provers (iacr.org) |
| 2 points by forks 3 months ago | past |
|
| 6. | | Bake Oven Knob (wikipedia.org) |
| 2 points by forks 3 months ago | past |
|
| 7. | | Learning from Sudoku Solvers (2007) (ravimohan.blogspot.com) |
| 22 points by forks 3 months ago | past | 8 comments |
|
| 8. | | Architecting Security for Agentic Capabilities in Chrome (googleblog.com) |
| 1 point by forks 3 months ago | past |
|
| 9. | | Continuously hardening ChatGPT Atlas against prompt injection attacks (openai.com) |
| 3 points by forks 3 months ago | past |
|
| 10. | | We removed 80% of our agent's tools (vercel.com) |
| 3 points by forks 3 months ago | past |
|
| 11. | | Calm: Consistency as Logical Monotonicity (bloom-lang.net) |
| 3 points by forks 3 months ago | past |
|
| 12. | | How the 'Lethal Trifecta' sets the conditions for stealing data on command (scworld.com) |
| 1 point by forks 4 months ago | past | 1 comment |
|
| 13. | | The Missing Abstraction for AI Agents: The Agent Filesystem (turso.tech) |
| 2 points by forks 5 months ago | past |
|
| 14. | | You Just Don't Need Tox (lukasatkinson.de) |
| 4 points by forks 10 months ago | past |
|
| 15. | | Warby Parker Partners with Google to Develop Intelligent Eyewear (warbyparker.com) |
| 1 point by forks 11 months ago | past |
|
| 16. | | NOAA Ocean Explorer: A Collection of Sounds from the Sea (noaa.gov) |
| 1 point by forks on Feb 16, 2025 | past |
|
| 17. | | Arena Proposal: Impact Reports (phila.gov) |
| 1 point by forks on Aug 27, 2024 | past |
|
| 18. | | Is it time to reconsider the keyboard pants? (theverge.com) |
| 3 points by forks on Aug 8, 2024 | past | 1 comment |
|
| 19. | | Winning Connect4 with Monte-Carlo Tree Search (steveindusteves.com) |
| 4 points by forks on Aug 8, 2023 | past | 2 comments |
|
| 20. | | We Built an LSP-Powered VS Code Extension with Rust, WASM, and TypeScript (osohq.com) |
| 19 points by forks on Jan 10, 2022 | past | 4 comments |
|
