LINKED LIST [txt mode] ▸ Bend

home explore | log in

Bend

bend-lang.com · first added by @hnl · 2026-09-25 · 2 upvotes

log in to save, upvote or flag this.

─── In 1 list ──────────────────────────────────────────

* Issue #810 by @hnl [code]

─── Discussions ────────────────────────────────────────

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

615 pts · 327 comments · node

─── From the discussion ────────────────────────────────

* GitHub - verus-lang/verus: Verified Rust for low-level systems code

github.com · node

* bend/paper/BendRT.pdf at main · bendlang/bend

github.com · node

* GitHub - bendlang/bend: Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

github.com · node

* bend/guide/GUIDE.md at main · bendlang/bend

github.com · node

* GitHub - HigherOrderCO/HVM1: HVM1 (2022): a massively parallel, optimal functional runtime in Rust

github.com · node

─── Also saved alongside this ──────────────────────────

* why I can't stop thinking about Papua New Guinea and what I think everyone should know about it

3 upvotes · 2026-09-15

* Backups aren't simple

3 upvotes · 2026-09-17

* Knap · Turn data into Markdown

2 upvotes · 2026-09-11

* Astra for Coding: Why Are We Doing This Again?

3 upvotes · 2026-09-11