Bend, once a week · #1 · 2026-11-03

What’s happening in Bend 2

A short roundup of Bend 2 development and community discoveries.

Bend dev news

• Package READMEs - Publishing README files beside package entrypoints was merged Nov 3; release depends on matching hub support.
• UDP error handling - Invalid destinations are checked before JavaScript FFI setup, avoiding a premature FFI error.
• Clearer file-order errors - A misleading “unfilled law” diagnostic now explains when a definition appears below its caller.

Five builds to explore

• minebender - Browser Minesweeper with a no-guess assist for genuinely stuck positions.
• Bendo - A pre-alpha web framework: Bend handlers, native binaries, typed TypeScript clients.
• snap - Run programs from argument lists, without a shell; includes parallel jobs.
• crooked-nostr - A Nostr CLI in Bend 2, with a separate Rust TLS proxy.
• framebender - Genomic-variant normalization, with explicit laws and a separate trusted file-I/O layer.

5 posts about Bend

• Proving an authorization table - Franz Ramadhan models access rules in Bend, then checks the real Rust implementation against that model.
• One value, one owner - A practical introduction to affine values. Examples use Bend 2.0.5; check compatibility before copying.
• A launch-day field test - Fabio Akita’s early porting experiments: useful questions about proofs, performance, and calling C.
• Bend 2 is live! - Alex Van de Sande’s launch introduction, with browser demos for a first look.
• Can proofs replace code review? (Japanese) - Kaito considers what language-level checks can - and cannot yet - replace in an agent workflow.

5 tweets about Bend

• QwenBend demo - An experimental Bend subset running inside model weights - not a guarantee that the generated program answers the right question.
• Taelin at the SF Lean meetup - The organizer’s recap of Taelin’s Bend 2 talk, with video promised in a follow-up.
• Laws for a Boolean optimizer - A small experiment with human-written LAWS.bend, shared for others to inspect.
• Proofs versus model drift - A discussion of Bend 2 and the gap between a verified model and changing application code.
• A Bend deep dive - Tanay Karnik shares a 21-minute overview covering the appeal and reasons for skepticism.

- Rasul

Share the newsletter

Know someone curious about Bend? Forward them this email, or share the signup page so they can get the next issue.

Independent directory. Not affiliated with the Bend team.