Thread

Bend – a language that blocks AI mistakes via proof and runs on GPUs

616 points · 327 comments · nicolas-siplis

runeks · 1789729146 · focus · HN ↗
> In the post-AGI economy, humans will eventually stop writing and reading code, but we still need an ambiguity-free way to tell the AIs building the world around us what we want done.
> With laws, our intents can be much more precise than natural language.
Doesn't this just mean that the code is now "laws", ie. the code is now the spec.
Given this, is there any reason think that writing the "laws" for a complex system is any easier than writing the old-fashioned code that implements it?
1. misja111 · 1789743112 · focus · HN ↗
  Exactly. You could simplify things by giving AI a limited set of laws, but then you'd risk that AI would make some mistake in the parts that you didn't cover. So a failsafe set of laws would look very much like an actual program.

Unofficial Hacker News client; not affiliated with Y Combinator.