Bend is a fast, parallel, and proof-based programming language that compiles to native code, running on GPUs and achieving speeds up to 100 times faster than a single-core processor. Its type checker, inspired by Lean and Rocq, verifies code correctness in seconds, enabling rapid feedback for AI agents. By incorporating laws and proofs, Bend blocks AI mistakes and ensures ambiguity-free code. AI summary
Firehose
Filtered to Hacker News, tagged “programming languages” · clear filters
Browse: People · Companies · Papers · Podcasts · Hacker News · Deep dives