Videos

AWS's Keto Specification Analyzer uses formal methods (SMT/SAT) to detect conflicts, gaps, and ambiguities in...

Robinhood's data platform team built a hybrid PR reviewer that uses deterministic scripts for facts and an LLM agent...

Ramp says its post-trained Qwen 3.5 35B model beat Opus 4.6 on exact task accuracy for financial question-answering...

An entity resolution job on Ohio campaign finance records that was projected to cost about $10,000 was completed for...

Anthropic's managed agents architecture was redesigned from a monolithic container to a decoupled system with three...

Snyk's Evo continuous offensive security uses LLM agents to perform AI-driven pentesting on every code change, not...

Production debugging with LLM agents fails because models are trained for confidence rather than the doubt and...

Recursive Language Models (RLMs) are a harness design where the only tool is code, enabling compositionality and...

Arya, Weights & Biases' new AI research agent, autonomously runs experiments, adjusts hyperparameters, and generates...

Google's ERA project, which began as an attempt to automate Kaggle competitions, frames scientific problems as...

Impeccable, Paul Bakaus's Claude skill for design work, is built like a mixture-of-experts system: two sub-agents...

Small, specific adjustments to coding agent workflows yield disproportionately large reliability improvements. The...