@VictorTaelin: you may not like Bend but you can't deny its users get the best job titles. metal benders, vulkan benders, proof bender…
Summary
Victor Taelin humorously comments on the job titles associated with users of the Bend programming language, such as metal benders and vulkan benders.
Similar Articles
@poteto: very bullish on Bend, this is exactly what ive been trying to do in other languages, but you can only get so far with w…
@poteto expresses enthusiasm for Bend, a language enabling formal verification to accelerate software development and solve code review, with @VictorTaelin agreeing on its potential for building complex software without mistakes.
Bend
Bend is a fast, parallel programming language that uses proofs to block AI mistakes, designed for AI-assisted development with C-like speed and CUDA parallelism.
@_ndigo: The era of bug free vibe coding is near. Bend2 has the potential to be the ultimate frontend compiler language. I strip…
ind-igo/bend-frontend is a composable frontend for Bend 2 written in Bend that type-checks programs once and emits a typed, serializable Core.Program for any backend, including EVM (via bend-evm) and WASM.
Bend 2 and the Vibe-Coding Trap
The article critiques Bend 2, a programming language designed for the AI coding era, for falling into a 'vibe-coding trap' and compares it unfavorably to formal verification approaches like SPARK.
Tabs, Spaces, Hand Tools, and Seat Belts
An opinion piece discussing the Bun migration from Zig to Rust, Andrew Kelley's critical response, and a broader philosophical debate about whether software engineering is a craft or industrial process.