Bend
AssessLanguages & Frameworks
A new programming language with dependent-type and proof-checking features plus CPU/GPU parallel runtime.
Why it's here
Placed in Assess: 3 article(s) of evidence from 1 source(s), led by regulatory news, with 2 in the last 30 days. Confidence 37%.
Evidence (3)
- 4Hacker News·9/18/2026researchCritique of Bend 2’s Vibe-Coding Approach
The article argues that Bend 2, a language pitched for the AI coding era, illustrates a trap in vibe-coding: developers may build large systems before understanding the field well enough to choose a better approach. It contrasts Bend’s demo and proof burden with a similar example recreated in SPARK, a formal verification language, to show that formal methods may already solve the underlying problem more directly.
- 6Hacker News·9/17/2026open_sourceBend language promises proof-checked AI code on CPU and GPU
Bend is a new programming language and runtime that emphasizes fast compilation, parallel execution on CPUs and GPUs, and proof-based checks to prevent rule-breaking changes. The post highlights AGENTS.md guidance, a law/proof workflow, and claims that AI-generated code can be constrained to satisfy declared invariants before commit.
- 8Hacker News·8/20/2026regulationHarvest raises bills by up to 1500% after Bending Spoons acquisition
Harvest, a timesheet and invoicing app used by businesses, has changed its pricing model after being acquired by Bending Spoons, triggering reported bill increases of up to 1500% for some customers. The shift from flat per-user pricing to usage-based charges has drawn criticism for lack of transparency and is prompting some companies to look for alternatives.