» Tag
ai
1016 postsMaith: A Disciplined Framework for AI-Assisted Math Research
Maith is an open-source workspace enforcing rigorous proof standards when using AI to explore unsolved math problems like Riemann and P vs NP.
Stagehand: AI-Resolved Instructions Meet Deterministic Browser Automation
Stagehand pairs AI-resolved natural-language instructions with deterministic browser actions, surviving redesigns that break hardcoded selectors.
Review-Loop Engineering: Designing Real Human Oversight for Agent Loops
Why 'human in the loop' isn't real oversight for AI coding agents, and how review-loop engineering designs packets that expose gaps, not just green checks.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comAgentic AI ROI: Track Cost Per Accepted Outcome, Not Tokens
A five-step framework for measuring agentic AI ROI through cost per accepted outcome instead of raw token or infrastructure spend.
Thinking Machines Lab Ships Inkling: 975B-Param Open MoE, Tunable Reasoning
Thinking Machines Lab's 975B-param, 41B-active Inkling model offers encoder-free multimodality and a tunable reasoning-effort control.
AI Migrates COBOL to Java Fast — Proving It's Correct Is Hard
AI speeds up COBOL-to-Java migration, but proving correctness is the hard part. How an SMT-based equivalence verifier catches hidden bugs before they ship.
How do you actually test if an AI understands your codebase
A hands-on benchmark for testing whether an AI agent truly understands codebase structure, tested across thirteen real Ruby projects.
Designing the Moment an AI Agent Needs Human Input
When an AI agent asks a question, it's a handoff of responsibility, not chat. A practical framework for designing notifications, approvals, and safe resumption.
LingBot-World 2.0: Ant Group's Open Causal World Model
Ant Group released LingBot-World-Infinity, a 14B causal world model using MoBA attention and an agentic harness for 60 minutes of decay-free simulation.
AI Agent Runtime Policy: Stop Dangerous Tool Calls Before They Execute
A runtime policy layer stops AI agents from calling dangerous tools in production: risk tiers, delegation scopes, and argument validation explained.