New comment by 12uq7 in "Bend – A language that blocks AI mistakes via proof, on CPU and GPU"

12uq7 — Thu, 17 Sep 2026 21:35:09 +0000

  claude: 1 commit 1,722,119 ++0 --

I assume that Claude formally proved Bend correct like CakeML?

Why would anyone want to work with such a dystopian setup? Prove your code directly in Lean or Coq or leave it.

Hacker News: 12uq7