Bend – a language that blocks AI mistakes via proof and runs on GPUs
Thread
Unofficial Hacker News client; not affiliated with Y Combinator.
Bend – a language that blocks AI mistakes via proof and runs on GPUs
Unofficial Hacker News client; not affiliated with Y Combinator.
giancarlostoro · · focus · HN ↗
The-Ludwig · · focus · HN ↗
giancarlostoro · · focus · HN ↗
I'm not saying they are saying they achieved it, but calling this economy post-AGI when AGI isn't a thing, that's wild to me.
AGI is well defined, there's an entire book written that defines them, and CEOs are trying to re-define it so they can meet a watered down definition of it for IPO stock to go brrr.