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

Software Engineering DailyVoices

Software Verification in the Age of Coding Agents

10.15

Software testing is widely understood as essential to building reliable systems, and it’s one of the hardest things to get right.

Agents & vibe coding

Read at Software Engineering Daily ↗

One letter a week, starting soon.

Latest

Software Verification in the Age of Coding Agents

Related

VoicesChroma and Agentic Retrieval Software Engineering Daily

VoicesScaling Agent Workloads at Vercel Software Engineering Daily

VoicesRebuilding the Cloud for AI Agent Code Software Engineering Daily

VoicesThe Terminal as an Agentic Interface Software Engineering Daily

VoicesDocker and Sandboxing AI Agents Software Engineering Daily

ToolsIntroducing Vercel Drives: persistent storage for agents Vercel Blog