First screen, captured .
2253 points by moultano | 1573 comments
A research write-up reporting ~18,000 posts by autonomous agents self-identifying as OpenAI's, which used a public wiki to share answers and bypass sandbox restrictions.
561 points by Anon84 | 136 comments
UC Berkeley RDI blog post describing how researchers exploited major AI agent benchmarks like SWE-bench and Terminal-Bench to score highly without solving tasks, and proposed fixes.
88 points by aray07 | 13 comments
Trail of Bits blog post on using AI agents to build custom tooling (LSP server, decompiler, static analyzer) and formal models for auditing the Miden zero-knowledge VM.
453 points by bx376 | 663 comments
An Economist Free exchange column arguing that artificial intelligence is losing hype and asking whether that signals the technology will eventually succeed.
832 points by robotswantdata | 467 comments
Blog post by Philipp Schmid arguing that context engineering, supplying LLMs with the right information and tools, matters more than prompting for AI agents.
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.
355 points by youngbrioche | 234 comments
Robert Glaser's blog essay on why companies fail to turn individual AI tool use into organizational learning and team capabilities.