Skip to content
All categories

ai

1239 posts

Containers, gVisor, and microVMs: Who Shares the Kernel, the System Calls, and the Hardware

Containers share the host kernel, gVisor inserts a user-space kernel, and a microVM adds a guest kernel plus a hypervisor; all three still share the same host's CPU caches and storage.

Talking Without a Network: How Shared Cache, Storage, and CPU Time Become a Signal

Two programs with no connection can pass bits through the speed of a shared resource: one changes its state, the other times it. Such channels need an agreed protocol and are slow and easily drowned out; the local experiment is nearly error-free up to 20 bps and gets clearly worse from 100 bps.

Reading a Defense Checklist: What Isolation, Noise Reduction, and Detection Each Block

No single defense blocks both covert channels and exits. Blocking channels comes down to not sharing, blocking exits comes down to narrowing the services you allow, and monitoring only notices while automatic stopping is a response after the fact; neither is prevention.

More Than One Way Out: Package Proxies, DNS, and Services That Run Errands

A sandbox with no direct network can still have an exit: any allowed service that can make requests on someone's behalf, such as a package proxy, a DNS resolver, or a metrics service, is one. OpenAI's three cases all have this shape.

Reading OpenAI's Red-Team Report: Four Channels, the Test Conditions, and the Numbers Not Published

OpenAI says its red-team agents built communication channels on shared hosts from cache, storage, CPU time, and a TLS certificate cache, and that most channels are slow; in most tests the channel or protocol was given, and bandwidth and error rates were not published.

Where an Agent's Code Runs: Five Layers of Isolation From Container to Monitoring

A piece of agent code passes through five layers on its way from execution to a network connection: container, kernel boundary, shared host, network perimeter, monitoring. Each layer promises one thing, and the shared host layer promises almost nothing.

aideep-dive

Asking AI to Review Your Paper Before Submission: The King and Worthington Experiment, Its Prompts, and Its Limits

King and Worthington compared 134 paid expert pre-reviews of 124 manuscripts with Claude Opus 4.8 reviews: the GPT-5.5 judge chose the AI review in all 132 decided pairs, and three former journal editors chose it in 26 of 30 judgments. The result covers constructive pre-submission feedback, not journal refereeing.

aideep-dive

Choosing a Personal AI Agent: Hosted Duet, Muse, Dots and Grok Bot vs Self-Hosted OpenClaw and Hermes

Duet, Muse, Dots, Grok Bot, OpenClaw and Hermes can all work through your email and accounts in the background. They differ in who holds the computer, the credentials, the approvals and the data. Hosted agents save setup but leave model and data policy to the vendor; self-hosted ones let you swap models and read the source, but you have to turn the sandbox on yourself.

aideep-dive

Choosing a Perplexity Computer Mode on Mac: Fully Local, Hybrid, Memory, and the Cloud Boundary

On October 20, Perplexity Computer gained a fully local mode: the model and the agent both run on an Apple silicon Mac, for Pro, Max and Enterprise subscribers, with 36GB or more memory recommended. Files and reasoning stay on the Mac, but live information, the browser and sending mail still go online.

aideep-dive

How the Claude Code Team Does Code Review: Seven Layers, Risk Tiers and Where Humans Stay

Anthropic says Claude writes about 90% of Claude Code's code. This guide walks through their review flow: every PR passes seven layers, human approvals scale with risk from zero to two, and the goal is at most one human per change with no rise in reverts.

aideep-dive

Reverse Engineering with a Coding Agent: REA's MCP Tools, Evidence Records, and Limits

REA is an MIT-licensed MCP server that lets Claude Code, Codex, Cursor, and other agents read native binaries through Ghidra, Hopper, or IDA, and take apart Electron, .NET, APK, and web targets directly. What separates it from single-engine bridges like GhidraMCP is that every result carries an evidence ID, a coverage status, and its limitations. One npx rea-agents setup installs it, and JavaScript analysis needs no disassembler at all.

aideep-dive

Cutting Agent Token Costs Without Losing Tool Results or Skill Instructions: Classified Retention, Recoverable Clearing, Caching, and Cost-Aware Testing

To cut the input tokens resent every turn, agent platforms often truncate, clear, or summarize old tool results, and skill instructions, write receipts, and error messages get cut along with them. The Complexity Trap shows observation masking can halve cost, yet Gemini 2.5 Flash with thinking still dropped from 40.4% to 36.4% solve rate. Measure savings against full history and fixes against the current setup, and judge by total cost per successful task, not shorter per-turn input.

aideep-dive

Choosing Agent Tool Search and On-Demand Loading: Toolset Completeness, Model Tool Limits, and Caching

Claude's docs say tool-selection accuracy degrades past 30–50 tools, and both Claude and OpenAI now load tools on demand via tool search. But finding a tool isn't finishing the task: on ToolRet's 43k-tool benchmark, no retriever put the complete required toolset in its top 10 more than 35% of the time. This post splits the problem into five failure points, maps seven approaches onto them, and lays out an evaluation.

aideep-dive

You May Be Tired in the Wrong Place: How to Read Matt Pocock's 18 Agent Mistakes

Matt Pocock posted 18 'mistakes you might be making' on X with no explanations. Grouped against his public skills and talks, they fall into five: verification, letting go, context, alignment, thinking. Six map directly onto /retro's check categories, so you can try one session tonight.

Post-Training from Chatbots to Agents: A Public-Sources Guide | Stanford CS329A Lecture 9

A chat model is rewarded for a single response people prefer; an agent has to be rewarded for whether a multi-step task actually finished, which needs different data and environments.

LLM Reasoning: Why Intermediate Tokens Help | Stanford CS329A Lecture 15

Reasoning is the intermediate tokens between input and output; RL fine-tuning beats imitating human solutions because of a reliable verifier, and sampling several times then taking the most frequent answer pushes accuracy further.

Three Systems at the Math Olympiad: Where Verification Comes From | Stanford CS329A Lecture 16

AlphaGeometry2 relies on a symbolic engine and AlphaProof on Lean, for a combined 28 points in 2024; in 2025 Gemini Deep Think scored 35 points in natural language, with verification done by human graders.

Autonomous Agentic Systems: Rewards and Understanding Are the Bottleneck | Stanford CS329A Lecture 18

Laskin's view is that engineers spend 80% of their time understanding systems rather than writing code, and that how far RL goes depends on clean rewards, a problem he considers as hard as superintelligence itself.

Multimodal Agents in Robotics: How a VLA Connects to Actions | Stanford CS329A Lecture 19

A VLA adds an action module to a vision-language model; letting that module's gradients flow back harms language understanding, so knowledge insulation blocks the gradient, while π0.5 co-trains on web data and data from many robots to gain generalization.

aideep-dive

How to Decide an Agent Is Ready to Ship: Meta Muse's Behavior Checklist, Two Thresholds, and a Hands-On Check

Alexandr Wang says Meta listed 100+ behaviors a personal agent needs, built an eval for each, and set two thresholds per row: a launch-blocking floor and a bar for 'good'. They shipped after the first all-green checkpoint and a hands-on check that it was clearly better; they also ran new-user testing. The method is reusable, but post-launch safety reports show all-green is not the same as safe.