Isolater - Feed

HN theanonymousone 21d ago

Grok 4.5 Benchmark Results

Benchmark results for Grok 4.5 proprietary LLM showing performance metrics, context window (500k tokens), and multimodal capabilities.

HN jcwsw129 21d ago

Show HN: Chat Privacy – hide AI chat history while screen sharing

Browser extension hiding AI chat history during screen sharing to prevent accidental exposure of conversation data.

HN oxplot 21d ago

Tooling for AI agents to build KiCad project from simple circuit description

Tool converting circuit descriptions and component assets into KiCad projects, enabling AI agents to work on hardware design without parsing complex file formats.

HN baranul 21d ago

AI as a weapon of mass cognitive destruction

Opinion piece criticizing overuse of AI-generated content in business communications, discussing quality degradation from excessive output.

HN vforno 21d ago

Show HN:Getting GLM 5.2 running on my slow computer

GLM 5.2 model successfully runs on consumer hardware with capabilities comparable to Claude/GPT while avoiding out-of-memory errors.

HN rar101x 21d ago

Probelock – lockfile for LLM tool calling

Probelock is a lockfile mechanism designed for LLM tool calling, enabling safer function invocation in LLM-based agents.

HN uukelele 21d ago

Former GitHub CEO launches competitor designed for the age of vibe coding

Former GitHub CEO launches Entire, a Git hosting network optimized for AI agents and code generation workflows.

HN metricspaceai 21d ago

Greppy – A drop-in grep with code-nav subcommands for AI agents

Greppy extends grep with code-navigation subcommands optimized for AI agents exploring codebases.

HN vinothkumarnaga 21d ago

Cybersecurity AI (CAI) Dataset

Cybersecurity AI (CAI) Dataset released for training and evaluating ML models on security tasks.

HN Krishnaswaroop 21d ago

What founders should evaluate before launching an AI-built app

Evaluation framework for founders launching AI-built applications; practical considerations for AI product launches.

HN cinooo 22d ago

AI changes the economics of software rewrites

Analysis of how AI models improve code rewriting economics for popular tech stacks due to training data prevalence and codebase context.

HN cooleel 22d ago

Accelerating Harbor with Tensorlake

Tensorlake runs Docker images for Harbor on microVM sandboxes, passing Terminal-Bench 2.1 tasks with cold starts in seconds.

HN Azimuth05 22d ago

Compendium – Shared workspace for teams and AI agents

Compendium is a shared workspace tool designed for teams and AI agents collaboration.

HN Garbage 22d ago

How to Kill the Bloat in Claude Code's System Prompt

Guide to removing bloat from Claude Code's system prompt, reducing token payload by tens of thousands per request through context optimization.

HN uncleteslim 22d ago

Reproducing an Indirect Prompt Injection Against a RAG Pipeline

Title indicates research on indirect prompt injection attacks against RAG pipelines.

Ax Andrey Podivilov, Vadim Lomshakov, Sergey Savin, Matvei Startsev, Roman Pozharskiy, Maksim Parshin, Sergey Nikolenko 22d ago

AgentLens: Production-Assessed Trajectory Reviews for Coding Agent Evaluation

Production-assessed benchmark for code agents evaluating entire trajectory including instruction following, tool use, error recovery, and communication.

Ax Yotam Wolf, Noam Wies, Amnon Shashua 22d ago

When Does In-Context Search Help? A Sampling-Complexity Theory of Reflection-Driven Reasoning

Theoretical analysis of in-context search as approximate inference over reasoning traces, studying sampling complexity of reflection-driven LLM reasoning.

Ax Sifat Afroj Moon, Dakotah Maguire, Adam Spannaus, Joe Tuccillo, Maksudul Alam, Sudip K. Seal, John Gounley, Heidi Hanson 22d ago

LLM-powered reasoning in agent-based modeling

Hybrid approach combining LLMs with agent-based modeling to enable real-time adaptive decision-making in large-scale individual interaction simulations.

Ax Bayram Yuksel Eker, Suayb S. Arslan, Ozgur Nazli, Mustafa Serhat Demirgil, Furkan Deligoz 22d ago

QANTIS: Hardware-Calibrated Sequential POMDP Belief Updates on IBM Heron

Uses quantum processor as calibrated belief-update service for sequential POMDP belief updates in autonomous systems under partial observability.

Ax Kabir Moghe, Peter Chin 22d ago

Cost-Effective Agent Harnesses for Abstract Reasoning and Generalization on ARC-AGI-1

Studies open-weight DeepSeek V3.2 model on ARC-AGI-1 benchmark using strict compute budgets without test-time scaling or fine-tuning.

Ax Pavel Snopov, German Magai 22d ago

Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics

ReAct-style agent combining LLM reasoning with SageMath CAS for verifiable feedback on research-level computational and experimental mathematics problems.

Ax Muayad Sayed Ali, Aliaksandra Novik, Anji Boddupally, Artem Yavorskyi, Chris Nickerson, Daniel Rica, Emily DuGranrut, Felix Leung, Garrett Prince, Grace Barnett, Heath Robinson, Hosain Al Ahmad, Jesse Resnick, Juan Carlos Farah, Jyothi Swaroop Meruga, Leonid Kuznetsov, Luke Gorham, Marie Schmoll, Michael Paciullo, Saumya Das, Sharath Sheripally, Tommy Griscom, Mykyta Osadchyi, Neha Mantri, Nick Westrum, Olivia Benowitz, Parikshith Kulkarni, Radik Chernyshov, Rakshith Vasudev, Rohith Nadimpally, Vikas Gangadevi, Waseem AlShikh 22d ago

The Harness Effect: How Orchestration Design Sets the Token Economics of Enterprise Agentic AI

Analyzes token economics of enterprise agentic AI, arguing orchestration design (harness layer) is key lever against token inflation per task.

Ax Yufeng Wang, Lu Wei, Haibin Ling 22d ago

Grounding Spatial Relations in a Compact World Model: Instruction Leakage and a Goal-Free Dynamics Fix

Identifies instruction leakage problem in goal-conditioned world models for spatial reasoning and proposes goal-free dynamics fix for true perception grounding.

Ax Wachiravit Modecrua, Krittin Pachtrachai, Touchapon Kraisingkorn 22d ago

Large Behavior Model: A Promptable Digital Twin of the Retail Customer

Large Behavioral Model learns customer decision-making from retail transactions using Person-Environment formulation for grounded behavior modeling.

Ax Yi Yang, Siyuan Liu, Xin Gao, Huamu Sun, Chao Liu, Qing Zhou, Bingbing Nie 22d ago

Learning social norms enhances compatibility in dynamic human-AI coordination

Studies how AI agents including LLMs learn social norms to improve human-AI coordination in dynamic interactions through implicit shared expectations.

Ax Jerry Han, Rafael Moschopoulos, Ella Colby, Vishrut Goyal, Andrew Tu, Kia Ghods, Mark Braverman, Elad Hazan 22d ago

Measuring Intelligence Beyond Human Scale

Proposes relative-scale evaluation paradigm where AI models generate adversarial challenges to measure intelligence beyond human-saturating benchmarks.

Ax Lifei Liu, Haoran Yu, Xiaochong Jiang, Su Wang, Pin Qian, Yihang Chen 22d ago

Operational Reframing and Approval-Framed Delegation in Multi-Agent LLM Safety

Analysis of multi-agent LLM safety systems decomposing pipeline effects into three mechanisms: reframing harmful intent, planner refusal, and executor delegation.

Ax Ethan Chung, Chuanjun Zheng, Jasper Tan, Jingxi Li, Haopeng Zhang, Huaijin Chen 22d ago

Does AI Understand Imaging? A Systematic Benchmark of Agentic AI for Computational Imaging Tasks

ImagingBench: benchmark evaluating vision-language models and agentic AI on 20 computational imaging tasks across optics, signal processing, and inverse problems.

Ax Silvia Santano 22d ago

Reasoning Consistency Scanning: A Framework for Auditing Chain-of-Thought Validity in AI Safety Evaluations

Framework for detecting logical inconsistencies in chain-of-thought reasoning of LLMs without requiring controlled interventions on evaluation transcripts.

Ax Haipeng Ding, Yuexiang Xie, Zhewei Wei, Yaliang Li, Bolin Ding 22d ago

From Atomic Actions to Standard Operating Procedures: Iterative Tool Optimization for Self-Evolving LLM Agents

Agents optimize static atomic tool actions into reusable Standard Operating Procedures to reduce reasoning overhead and failure rates.

Ax Diab W. Abueidda, Bilal Ahmed, Panos Pantidis, Mostafa E. Mobasher 22d ago

Physics-Audited Agentic Discovery in Scientific Machine Learning

PA-SciML: verification-first workflow for LLM agents discovering surrogate models in scientific ML with physics-based auditing.

Ax Charbel Al Bateh, Samer Saab Jr 22d ago

MIRA-Math: A Benchmark for Minimal Information Requesting and Mathematical Reasoning

MIRA-Math benchmark for mathematical reasoning where solvers must request one missing atomic fact to solve problems.

Ax Elaine Ang, Chenxi Huang, Georgios Liargkovas, Jerry Liu, Jinhui Liu, Nikos Pagonas, Charlie Summers, Haonan Wang, Jiakai Xu, Tianle Zhou, Yusen Zhang, Zhou Yu, Zhuo Zhang, Tianyi Peng, Kostis Kaffes, Eugene Wu 22d ago

Agentic Data Environments

Agentic Data Environments framework for autonomous agents operating across files, APIs, applications, and system state with failure bounds.

Ax Vikas Reddy, Sumanth Reddy Challaram, Abhishek Basu 22d ago

Reason Less, Verify More: Deterministic Gates Recover a Silent Policy-Violation Failure Mode in Tool-Using LLM Agents

Deterministic gates detect silent policy violations in tool-using LLM agents where forbidden state transitions execute successfully.

Ax Xing Zhang, Yanwei Cui, Guanghui Wang, Ziyuan Li, Wei Qiu, Bing Zhu, Peiyang He 22d ago

The Blind Curator: How a Biased Judge Silently Disables Skill Retirement in Self-Evolving Agents

Shows biased reward judges silently disable skill retirement in self-evolving LLM agents, causing library drift below baseline performance.

Ax Songhan Wang, Haoang Chi, He Li, Zhiheng Zhang, Jiayan Yuan, Cheems Wang, Hao Peng, Xinwang Liu, Wenjing Yang 22d ago

SpaCellAgent: A Self-Evolving LLM-Based Multi-Agent Framework for Trajectory Analysis

SpaCellAgent: LLM-based multi-agent framework for autonomous trajectory inference analysis in spatial and single-cell transcriptomics.

Ax Dmitry Beresnev, Vladimir Makharev, Roman Khalikov, Ivan Oseledets, Petr Anokhin 22d ago

Search, Fail, Recover: A Training Framework for Correction-Aware Reasoning

Pyligent framework for training correction-aware reasoning in LLMs: validated search over partial solution chains with failure recovery.

Ax Wei-Jung Huang 22d ago

Do LLM-Generated Skills Make Better AI Data Scientists? A Component Ablation Across Data-Science Workflows

Compares LLM-generated vs expert-written reusable skills for AI data scientists across data cleaning, SQL, statistical testing, and formatting tasks.

Ax Azwar Abdulsalam, Nishil Patel, Andrew Saxe 22d ago

RL Post-Training Builds Compositional Reasoning Strategies

RL post-training enables Transformers to compose primitive skills into higher-level reasoning strategies beyond base model capabilities.

Ax Mingguang Chen, Licheng Wang, Bo Qu 22d ago

Recursive Self-Improvement in AI: From Bounded Self-Refinement to Autonomous Research Loops

Survey of 1,250 papers on recursive self-improvement in AI systems: self-refinement, self-reward, self-play, and autonomous research loops.

Ax Tianming Sha, Yue Zhao, Lichao Sun, Yushun Dong 22d ago

SkillCenter: A Large-Scale Source-Grounded Skill Library for Autonomous AI Agents

SkillCenter: open-source library with 216,938 structured skills for autonomous AI agents across 24 domain bundles with source grounding.

Ax Yujiao Chen 22d ago

Institutional Red-Teaming: Deployment Rules, Not Just Models, Causally Shape Multi-Agent AI Safety

Institutional red-teaming methodology for testing deployment rules in multi-agent AI systems with IABench-CA benchmark spanning 228 contexts.

Ax Ioanna-Yvonni Tsaknaki, Andrea Macr\`i, Fabrizio Lillo 22d ago

Can Reinforcement Learning Efficiently Discover Price Manipulation?

Investigates whether model-free RL agents can identify price manipulation more effectively than model-based approaches in asset markets.

Ax George Torres, Sharad Shrestha, Satyajayant Misra 22d ago

When Agents Remember Too Much: Memory Poisoning Attacks on Large Language Model Agents

Analyzes memory poisoning attacks on LLM agents with long-term memory that access emails, calendars, and code repositories.

Ax Andrii Balashov, Olena Ponomarova 22d ago

TriRoute: Unified Learned Routing for Joint Adaptive Attention, Experts, and KV-Cache Allocation

TriRoute jointly optimizes attention resolution, expert selection, and KV-cache allocation in language models to decouple quality from inference cost.

Ax Lanhao Li, Bingshu Xie, Lijun Sun, Xin Xue, Haoyi Zhou, Jianxin Li 22d ago

NEST: Tackling Dataset-Level Distribution Shifts via Regime-Oriented Mixture-of-Experts

Mixture-of-experts approach for long-term forecasting addressing dataset-level distribution shifts via regime modeling.

Ax Adam Jenkins, Agnieszka Kitkowska, Caterina Maidhof, Diego Paracuellos, Francesco Sovrano, Gonzalo Gabriel Mendez, Guillermo Suarez-Tangil, Hana Kopecka, Isabel Wagner, Isabel Barbera, Javier Carnerero-Cano, Jide Edu, Jose Luis Martin-Navarro, Jose Such, Josep Domingo-Ferrer, Juan Carlos Carrillo, Kopo Marvin Ramokapane, Mark Cote, Pablo Vellosillo, Ramon Ruiz-Dolz, Rongjun Ma, Ruba Abu-Salma, Sameer Patil, William Seymour, Xiao Zhan 22d ago