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

Hacker News (front)GitHub

Bend – A language that blocks AI mistakes via proof, on CPU and GPU

September 17

Article URL: https://bend-lang.com/ Comments URL: https://news.ycombinator.com/item?id=49746163 Points: 441 # Comments: 205

Chips & compute

Read at Hacker News (front) ↗

One letter a week, in your inbox.

Latest

Bend – A language that blocks AI mistakes via proof, on CPU and GPU

Related

SiliconApple M5 Ultra Scores Big GPU Gains in Leaked Geekbench Benchmark TechPowerUp

SiliconBull Beats Out HPE For Next-Gen Lumi AI Supercomputer The Next Platform

Toolsb11027 llama.cpp releases

SiliconNVIDIA DLSS 5 Neural Rendering Now Runs in a Web Browser Via WebGPU TechPowerUp

SiliconAcer Swift Air 14 review: Wildcat Lake and lots of ports at $699 Tom's Hardware

ValleyHuawei plans Q1 2027 launch of new AI chip as it takes on Nvidia TechCrunch AI