Thread

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

616 points · 327 comments · nicolas-siplis

hollowturtle · 1789681006 · focus · HN ↗
Would the author have specified on the page that it's a fast new language with a new take on proof and so on, without mentioning ai and that alone would have caught my attention. It seems like if there isn't the word ai people are not interested anymore, we used to care many of us used to care
1. nullbio · 1789728777 · focus · HN ↗
  Everyone uses AI to code now, and the author wants his product to be used. I think it makes sense.
  1. hollowturtle · 1789761903 · focus · HN ↗
    Everyone uses AI - yes me too. Everyone to code? I dunno know and no one actually know for sure. I find it more productive in many ways, not much for producing code, if not for highly verbose structured output. And I'd be interested in a new language polished to solve specific problems differently even if it doesn't mention ai. We did engineering for decades in this way

Unofficial Hacker News client; not affiliated with Y Combinator.