Bend 2 launches: a proof-checking language that blocks AI coding mistakes, runs natively on GPUs
max_paperclips · x · 2026-09-18
Victor Taelin released Bend 2, a programming language that blocks AI coding mistakes via proof checking — the same technique big AI labs use for open math problems. After 10 years of work, Bend compiles lambdas with closures, unrestricted recursion, fast allocations, folds, ADTs and continuations down to the HVM2 runtime, spreading work across thousands of cores and running natively and fast on GPUs.
More from coding & agent
- Paying a FasTrak toll invoice automatically with a Grok bot and Link — jeff_weinstein · 2026-09-18
- Honeycomb CTO on AI slop: half the company hates it, half hates the holdouts — mipsytipsy · 2026-09-18
- Credential-free MCP server template lets agents call tools without touching API keys — uzi24- · 2026-09-18
- Claude Handles 80% of My Sales Workflow — But It Can't Close the Loop — Prestigious_Rub5 · 2026-09-18
- Dev loses a day of benchmarks to Claude Opus 5, begs for Opus 4.5 back — julianharris · 2026-09-18
- Why only foundational model labs can self-improve with scaffolds, and why OpenAI/Anthropic likely already do — menhguin · 2026-09-18