‹ BackHN Continuity

Thread

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

616 points · 327 comments · nicolas-siplis

  1. runeks · · 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. dylanowen · · focus · HN ↗
      100% agree. It's crazy so many Ai articles are heralding the end of code while at the same time defining more complex ways to write code under a different name.
      1. Neywiny · · focus · HN ↗
        I suppose I could look it up but I wonder if people thought this of "high level" languages like C when it first came out. No more assembly. Or even assembly instead of machine code.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.