2026-08-29
AI Agents
A Cambridge OCaml maintainer reports that public patch discussions now draw automated exploit probes within ten minutes, fast enough to break the assumptions behind open-source security embargoes. A separate paper introduces instruction privilege escalation: attacks that trick agent harnesses into promoting untrusted content to a higher instruction level, working across all six coding-agent harnesses tested. Also today: harness self-optimization from failure traces, FSMs for runtime monitoring, and steerable tool-call rates.
Papers
5AutoSaddler: Automatic Harness Optimization with Durable Updates from Agent Execution Traces
AutoSaddler treats agent harness design as an offline learning problem: diagnose failure traces, generate structured patches to the harness (treated as code), and select updates by validation. It reports gains of 9.0, 9.6, and 10.0 points on GAIA2, SWE-Bench Pro, and Terminal-Bench 2.0. The ablations are the useful part — deep debugging beats shallow reflection, targeted edits beat unconstrained rewrites, and generalization-aware selection beats trajectory-specific repair. A credible path to reducing the manual labor of harness tuning.
Automata from Agent Traces: Failure and Next-Step Prediction
This collapses an entire corpus of agent traces into a single compact finite-state machine — 7 to 43 states — that replays held-out data at ≥0.997 fitness with near-identical topology across splits, built in milliseconds. The FSM serves both next-step prediction (beating Agent Workflow Memory on every matched dataset) and failure prediction (held-out AUROC up to 0.94, with an online monitor that ranks failing runs early). The striking claim: behavioral topology is shaped more by the harness than the underlying LLM.
Tunable Tool-Call Rates in LLM Agents via Representation Steering
Whether an instruction-tuned model calls a tool turns out to be controllable by a single linear direction in its residual stream, extracted from the model's own tool-use preference signal with no training and applied at inference with no prompt change. Sweeping the strength moves call rate from near 0% to over 90% while keeping calls well-formed, tracing a cost/accuracy Pareto frontier and nearly doubling open-domain QA accuracy (0.29→0.56). The direction generalizes to unseen tools and transfers across models.
When Context Gets Root: Privilege Escalation in LLM Harnesses
Instruction hierarchy is a model-side defense assigning privilege by source. This paper shows the harness undermines it: when an agent constructs context per invocation, low-level malicious content gets elevated to a higher instruction level and gains greater model-facing privilege. Using multi-agent mechanisms, the attack hits all 13 objectives — spanning confidentiality, integrity, availability, and RCE — across all six coding-agent harnesses tested, and all three that offer automatic permission review. Persistent goals and scheduled tasks reproduce it too. A clean, general attack class.
DPIAgent: Divide, Protocol, Isolate for Agentic Reproduction Test Generation
DPIAgent splits reproduction-test generation — producing a failing-then-passing test for a reported bug — into two phases with distinct tooling, arguing the monolithic loop causes goal drift by mixing root-cause diagnosis with test writing. Its three principles: Divide into single-objective phases, enforce a handoff Protocol that records diagnosis and plan, and Isolate each phase's action space. On SWT-Bench Verified it reaches 81.76% on GPT-5 with DPI alone (86.17% with test selection), beating seven baselines across three backbones. The isolation-of-tools finding is the transferable one.
News
4I accidentally turned LLM memory into program analysis
A writeup on repurposing an LLM agent's memory subsystem as a program-analysis engine — the author frames it as an accident, which is the interesting part. The stub is thin (164 points, 35 comments) and the substance lives in the linked post, but the angle is concrete: memory that accumulates observations across runs starts behaving like a static/dynamic analysis store. Worth reading for the mechanism, not the framing.
AI Agent Has Root
A blog post on the security posture of agents running with root or broad privileges — the recurring problem of handing an autonomous, prompt-injectable process the same access you'd give a trusted operator. The stub is a stub (40 points but 66 comments, suggesting a live argument rather than consensus), so the substance is in the linked piece and thread. Read it alongside today's privilege-escalation paper; they describe two ends of the same failure.
Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
An arXiv paper on autonomous mathematical discovery in an open-world multi-agent environment — agents proposing, exploring, and building on results without a fixed problem set. Landed with decent HN traction (108 points). The stub doesn't reveal the evaluation methodology or what counts as a discovery here, which is exactly the part that matters for judging whether this is a genuine result or a well-dressed search loop. Worth a look for the environment design.
Show HN: Watches user sessions, finds bugs that matter, and fixes them
An open-source agent that combines error tracking with session recording, then acts on both — only opening a PR when it can verify the fix. The premise is a good one: exception-based error trackers miss user-facing issues that never throw, and drown real problems in false positives. The founder's Robinhood bug-bash-bankruptcy anecdote is relatable. It's a vendor pitch, so treat the verification and ranking claims as unproven until you see how the SDK behaves on your own noisy backlog.
Blogs
1Just a rumour of a bug is enough to find a security exploit these days
Anil Madhavapeddy, an OCaml compiler maintainer, reports that within ten minutes of sharing a patch for discussion, his repo was fielding probes for percent-encoded traversal sequences — automated watchers turning a hint of a bug into an exploit attempt. He demonstrates the same with his own agents (falling back to DeepSeek V4 Pro when Claude Fable refused). rclone's Nick Craig-Wood confirms the pattern. The upshot: coordinated-disclosure embargoes assume days of lead time that no longer exists.
24 more items the ranker flagged but didn't feature
Papers
- Robust Code RL via Faulty-Code-Driven Test case Synthesis and Dense Reward Shapingarxiv:arxiv-agents
- Right-Sizing LLM-Agent Decomposition in VAT Determination: A Pilot Controlled Sweeparxiv:arxiv-software-eng
- Thomson: Continual Learning of Frontier Models for SovereignAIarxiv:arxiv-agents
- SAGE: From Direct Answering to Evidence-Grounded Inference for Chinese Ancient Document Understandingarxiv:arxiv-agents
- Spec2Vision: Contract-Guided Delivery of AI-Generated Computer Vision Pipelinesarxiv:arxiv-software-eng
- Rank Reversal in Multilingual LLM Judges: A Label-Free Double-Centering Calibratorarxiv:arxiv-llm-systems
- From Natural Language Policies to Executable Obligations: A Verification Harness for Dependable In-Car LLM Agentsarxiv:arxiv-software-eng
- Closing the Gap: Automated Discovery of Secure Dockerfile Reference Standards via Semantic Clustering in Enterprise Inner Sourcearxiv:arxiv-software-eng
- GraphMemix: Query-Aware Evidence Forests for Long-Term Multimodal Agent Memoryarxiv:arxiv-agents
- A Programming Paradigm for Spatiotemporal Composabilityarxiv:arxiv-software-eng
- Metis: Typed Runtime Mediation for Tool-Using Software Agentsarxiv:arxiv-software-eng
- Reflection with Action-Induced Visual Differences for Desktop GUI Agentsarxiv:arxiv-agents
- Diff Mining: Logit Differences Reveal Finetuning Objectivesarxiv:arxiv-agents
- KubeCap: A Framework for Capability Minimization in Kubernetes via Static Analysis and LLM-Assisted Rule Inferencearxiv:arxiv-software-eng
- SWE-Prime: Fewer Trajectories, Better Performancearxiv:arxiv-agents
- STILL: Recovering Lowered STL Semantics for LLM-assisted C++ Decompilationarxiv:arxiv-software-eng
- An Interactive Agent for Requirement-Driven Candidate Sourcingarxiv:arxiv-software-eng
- VideoHarness-RSI: Recursive Harness Self-Improvement for Long-Video Understanding with Frozen Vision-Language Modelsarxiv:arxiv-agents
- CLAP: Cross-Embodiment Video World Models are Zero-Shot Physical Simulatorsarxiv:arxiv-agents
- RTNav: Towards Real-Time Zero-Shot Object Navigationarxiv:arxiv-agents
- Task-Adaptive Rubrics for GUI Reward Modelingarxiv:arxiv-agents
- TianoForge: An Automated Bug Triage Approach for the TianoCore UEFI Firmware Development Communityarxiv:arxiv-software-eng
- LLM Agents Perform Controlled Experiments Using Simulation Modelsarxiv:arxiv-llm-systems
- When Text Misleads: Inconsistent-Aware Reasoning for Audio-Grounded Dialoguearxiv:arxiv-agents