The name is the button.

An agent writes the code now, and a human thumb hovers over Accept all a hundred times a day. The honest question of this decade is what, exactly, you just accepted. So I read the diff.

Eight years as a backend engineer in Stockholm, back in Tokyo since 2023, and I still ship something small most nights, usually badly. My one rule: the only real review of a model is the thing you built with it. That is why there is no leaderboard on this site.

Around a hundred and forty sources come through — the labs' own posts, the papers, the tools, the runtimes and languages nobody is watching yet, the chip under the demo, and the newsletters people actually forward. What is moving gets counted so the week reads at a glance, and every few days I explain one mechanism in plain words.

A story here is a headline, a short excerpt, one image and the link to whoever wrote it. We never reproduce the post; the images belong to their authors. A post written in Japanese appears in Japanese, exactly as it was published, and the link goes to the original.

— Yuki Halvorsen, Tokyo

← Accept All Archive

Microsoft ResearchResearch

Formally verifying agent-written full-stack web apps with PDD Kit

11.05

At a glance Formal methods for everyday software. PDD Kit helps you turn your intent into a formal spec, then proves the code your agent writes for every input and uses tests where a proof can’t…

Agents & vibe coding

Read at Microsoft Research ↗

One letter a week, starting soon.

Latest

Formally verifying agent-written full-stack web apps with PDD Kit

Related

ResearchFrom synthetic enterprise data evaluations to real Microsoft Copilot AI confidence Microsoft Research

ResearchAgent Lightning v1.0: A 3,500-Line Lightweight Agentic RL Framework for Training Agents with Real Harnesses Microsoft Research

ToolsRustRover 2026.3 Is Out: JetBrains Air, Clearer Debugger Views, and Agents That Debug With You JetBrains Blog

ValleyDropbox acquires Tigris Data for $350M to bolster its AI infrastructure TechCrunch AI

ToolsWhat’s New in PyCharm 2026.3 JetBrains Blog

ValleyAina’s smart AI ring promises a new way to interact with AI agents that anticipate user’s needs SiliconANGLE