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

OCaml PlanetLanguages

Learning Goals and the Goals of Learning: Teaching in the Age of AI with Aaron Bauer

September 23

Aaron Bauer is a software engineer and one of Jane Street's few developer educators—a role that splits his time between writing code and teaching other people how to write it.

Read at OCaml Planet ↗

One letter a week, in your inbox.

Latest

Learning Goals and the Goals of Learning: Teaching in the Age of AI with Aaron Bauer

More from OCaml Planet on Accept All

LanguagesRewriting Tailwind CSS in OCaml: Is It (Pixel-)Correct? OCaml Planet

LanguagesNotes from week 38 OCaml Planet

Languages.plan-26-38: Near, far, wherever you are, Tessera infers on OCaml Planet

LanguagesImplementing SAT in OCaml Part 5 OCaml Planet

LanguagesFormal Verification: Release of Ortac 0.8.0 for Testing with Domains OCaml Planet

LanguagesA tour of the OCaml Workshop 2026 OCaml Planet