‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. mikemarsh · · focus · HN ↗
    > In the post-AGI economy, humans will eventually stop writing and reading code

    What's the definition of "AGI" these days? I've heard everything from "sci-fi simulated consciousness", to "does really good on benchmarks" to "whatever makes OpenAI X amount of money".

    Perhaps the definition in this specific case is circular, "whenever humans stop writing and reading code"?

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.