Menu

📰
0

Bend

Hacker News·Bend·about 3 hours ago
#zDs1e8w8
Reading 0:00
15s threshold

~/bend hub bender get Bend × 1. Install curl -fsSL https://bend-lang.com/install.sh | sh 2. Add this to your AGENTS.md When using Bend: - run `bend guide` to learn it - use `LAWS.bend` to keep important rules - run `bend PROOF.bend` before committing - parallelize the code whenever possible 3. Enjoy bug-free, fast vibe-coded apps! a fast language that blocks AI mistakes via proof C speed · CUDA parallelism · Lean proofs · Python syntax In the post-AGI economy, humans will eventually stop writing and reading code, but we still need an ambiguity-free way to tell the AIs building the world around us what we want done. With laws , our intents can be much more precise than natural language. With proofs , we can verify that the AI implemented our prompts correctly. And a fast compiler runs it at speed. That's Bend - and nothing else. 1. Bend runs FAST . Bend compiles to native code. On one core, it runs nearly as fast as C.…

Continue reading — create a free account

Join HashtagPLUS to read full articles, follow hashtags, vote, and join the conversation.

Read More