Llm Agents 8

• 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
• What Leaves Your Workstation When You Use an LLM Coding CLI Apr 11, 2026 TL;DR I put five LLM coding CLIs through a transparent TLS-intercepting proxy for about three and a half hours in a lab environment and … 17 minutes Llm agents
• Ollama-Forge for Security Research: Local Models, Refusal Ablation, and Reproducible Pipelines Feb 16, 2026 Introduction Security work often involves prompts and data you cannot send to commercial APIs: malware descriptions, exploit drafts, … 7 minutes Llm agents