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

Google Open Source BlogGitHub

Securing the agentic era: Introducing formal verification for CEL

08.18

by Sean Huh , Common Expression Language Team We are rapidly entering an era where AI agents can autonomously draft, refactor, and deploy policies that protect our users and our systems.

Agents & vibe coding AI CEL Common Expression Language formal verification

Read at Google Open Source Blog ↗

One letter a week, starting soon.

Latest

Securing the agentic era: Introducing formal verification for CEL

Related

GitHubOpen rails for agentic commerce at Open Source Summit North America 2026 Google Open Source Blog

ToolsOpen-sourcing evals for open-weight agents Cline Blog

EuropeExcel's Copilot function is headed for the Recycle Bin The Register AI

ToolsOrigin Code Hosting Cursor Changelog

ToolsHow we rebuilt the Auggie CLI harness to make tasks 53% cheaper than Claude Code Augment Code

VoicesRebuilding the Cloud for AI Agent Code Software Engineering Daily