Thread

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

616 points · 327 comments · nicolas-siplis

whoamii · 1789682094 · focus · HN ↗
“but we still need an ambiguity-free way to tell the AIs building the world around us what we want done”
Do we? I would argue one of the main reasons AI can be so productive is because it makes assumptions where it finds ambiguity, and we reduce the number of things we need to specify.
1. hughw · 1789682229 · focus · HN ↗
  Yes, we need both.

Unofficial Hacker News client; not affiliated with Y Combinator.