Bend – A language that blocks AI mistakes via proof, on CPU and GPU

This story is from 2026-09-17. It is preserved in the archive; the latest stories are on the live feed.

Article URL: https://bend-lang.com/ Comments URL: https://news.ycombinator.com/item?id=49746163 Points: 561 # Comments: 285

Read the full story at Hacker News Front Page ↗

Timeline · 1 report

2026-09-17 20:36 · Hacker News Front Page
Bend – A language that blocks AI mistakes via proof, on CPU and GPU

More stories

Trump announces a new 'AI Force,' but says he will not 'stifle' AI — Business Insider AI
Introducing Kimi K3 on Amazon Bedrock — AWS Machine Learning Blog
Introducing Amazon SageMaker HyperPod Inference Gateway — AWS Machine Learning Blog
Anthropic, OpenAI, SpaceXAI, Google sued over call to ‘pace’ AI development — Politico Technology
Google's Gemini AI hacks three other companies during security test — Sky News Technology
Gemini Hacked Three Companies in First Known Breakout by Google’s AI — Wall Street Journal Technology
OpenAI reveals cases of ‘concerning’ AI behaviour as it announces new disclosure system — The Guardian AI
AI's role in building AI surging? Anthropic says Claude now leads 26% of its R&D — Mint AI

Get the daily brief of stories like this at 6:30 every morning →