Y Hacker News new | ask | show | jobs

user: forks created: 2019-03-30 karma: 136 submissions: An Unbiased OSS Benchmark for Code Review Agents 3 points | 0 comments The human cost of 10x: How AI is physically breaking senior engineers 82 points | 71 comments Zero Day Clock: The gap between disclosure and exploitation is collapsing to 0 3 points | 0 comments AI Agents Gone Rogue 1 points | 0 comments AWS Duvet: a bidirectional link between implementation and specification 12 points | 1 comments Hax: Verifying Security-Critical Rust Software Using Multiple Provers 2 points | 0 comments Bake Oven Knob 2 points | 0 comments Learning from Sudoku Solvers (2007) 22 points | 8 comments Architecting Security for Agentic Capabilities in Chrome 1 points | 0 comments Continuously hardening ChatGPT Atlas against prompt injection attacks 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments We removed 80% of our agent's tools 3 points | 0 comments 0 points | 0 comments Calm: Consistency as Logical Monotonicity 3 points | 0 comments How the 'Lethal Trifecta' sets the conditions for stealing data on command 1 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments The Missing Abstraction for AI Agents: The Agent Filesystem 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments You Just Don't Need Tox 4 points | 0 comments