@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.
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.
@heyshrutimishra: The creator of Claude Code just explained the future of jobs. Engineering, product, design, and data science are meltin…
The creator of Claude Code, Boris Cherny, outlines five archetypes (Prototyper, Builder, Sweeper, Grower, Maintainer) replacing traditional job titles, mapping them to product lifecycle stages, and argues that teams should hire for problem-solving modes rather than titles.