Agentic AI news, research notes, and industry analysis.
Tag
10 stories in this tag.
Imp 0.5.0 ports DSPy to Elixir and the BEAM runtime, bringing typed LLM signatures, multiple prompt optimizers, and agent loops backed by OTP supervision. It's early and experimental, but the combination of DSPy's systematic optimization approach and the actor model's fault tolerance is a genuinely interesting fit for production agentic systems.
Read more →Ollaya ships as a Rust daemon that pulls open decision models (Laya, Decider, NLI, GLiClass, Von, Qwen3guard) locally and serves them behind a TypeSafe-compatible API. Set an environment variable and existing Jev clients point at localhost — 8–10 ms per five-question request on a 4090, no API key, Apache-2.0.
Read more →Bend 2 is a new programming language that requires AI-generated code to carry a mathematical proof of declared invariants before it can merge. The idea — that formal verification becomes the natural gate in an agentic coding workflow — is more compelling than the current seven-commit implementation, but the framing points at something real.
Read more →EEBench, a new benchmark for AI circuit design, uses atopile's declarative code interface to test whether models can produce functional circuits. Claude Opus 5 leads at 61.6%, with OpenAI's models trailing at 39–42%. The benchmark reveals a specific failure mode: designs that pass nominal simulation fail when real component tolerances are applied.
Read more →Armature ran 16,893 coding-agent sessions across Claude Code, Codex, and Cursor to measure which tools they actually install. The agents agreed only 42% of the time, and LangChain—the most-mentioned framework—was selected in four of its 194 appearances.
Read more →DeepSeek released Harness v0.1, an MIT-licensed open-source agent framework where every component — model, tools, storage, agent loop, UI — is a swappable plugin on a Cordis microkernel. Released alongside a Peking University research paper on the formal foundations of dynamic component composition.
Read more →Semble (v0.1.7, May 12) is a code search library for AI agents that uses ~98% fewer tokens than grep+read while matching 99% of the retrieval quality of much heavier transformer-based approaches. It indexes a repository in 263ms and answers queries in 1.5ms on CPU, ships as an MCP server for Claude Code, Cursor, and Codex, and requires no API keys, GPU, or external services. The design bets that static embeddings plus BM25, fused carefully and reranked with code-specific signals, are almost as good as a code-specialized transformer — and orders of magnitude cheaper to operate.
Read more →Brex open-sourced CrabTrap, a Go MITM proxy that intercepts every outbound HTTP request from an AI agent and evaluates it against a natural-language security policy before letting it through. The approach is genuinely useful for catching exfiltration attempts, while raising a fair question about whether a probabilistic judge belongs in a security-critical path.
Read more →Sebastian Raschka published a technical breakdown of what a coding agent harness actually needs — six components that often matter more than the model itself. The same day, Imbue's case study on running 100+ Claude agents in parallel to test and improve their own tooling arrived on Hacker News. Together they sketch what production-grade agent engineering looks like right now.
Read more →Andrej Karpathy published a pattern for persistent, compounding LLM knowledge bases — a structured wiki that grows smarter with each query rather than re-deriving knowledge from raw documents every time. The more interesting detail is how he shared it: not as code, but as an "idea file" — a new format for the agent era where you hand a spec to someone's agent and it builds the implementation for you.
Read more →