Agents 6

• Agents Can't Bluff a Kernel: Teaching AI to Prove Gauss in Five Proof Systems Sep 23, 2026 The factorial function type-checked on the first try. It passed the termination checker. It compiled to C, ran natively, and printed an … 14 minutes Llm agents
• The Function That Beat the Model: What We Measured When We Removed the LLMs Sep 21, 2026 For months, a 1-billion-parameter model validated sensitive-data detections in our proxy pipeline. Last week we ran it against a 40-line … 8 minutes Llm agents
• Manifold: Chaining Seven Proxy Layers Into a Single Transparent LLM Pipeline Jul 29, 2026 Every LLM proxy tool you install — a redactor, a router, a rate limiter, a cache — spins its own HTTP server. Each one speaks the OpenAI or … 6 minutes Llm agents
• LLM-Redactor: What Leaves Your Prompt When You Talk to a Cloud LLM Apr 15, 2026 Every time a coding agent sends a prompt to a cloud LLM, the full content of that prompt — your code, your credentials, your customer names, … 5 minutes Llm agents
• Local-Splitter: Cutting Cloud LLM Costs by Putting a Small Model in Front Apr 15, 2026 Cloud LLM tokens are expensive. Not in the “my AWS bill is high” sense — in the “I’m burning $0.015 per 1K output tokens and my coding agent … 4 minutes Llm agents
• Resilient Write: Giving Coding Agents a Write Path That Doesn't Break Apr 12, 2026 If you’ve spent any time watching an LLM coding agent work, you’ve seen it happen: the agent generates a perfectly good file, calls Write, … 5 minutes Llm agents