First screen, captured .
104 points by verdagon | 10 comments
Blog post by Evan Ovadia explaining a borrow checker for the Vale language that analyzes functions by walking them backwards to check memory safety.
157 points by verdagon | 84 comments
Blog post by Evan Ovadia describing Valen's new flexible borrow checker, where references track the paths they point to, as an alternative to Rust-style borrowing.
599 points by eliasdaler | 240 comments
Elias Daler's blog post on learning Vulkan and building a small game engine with two demo games in three months, with code on GitHub.
35 points by jfecher | 2 comments
A blog post from the Ante programming language project describing a borrow-checking approach that allows zero-cost cyclic shared mutability.
323 points by todsacerdoti | 119 comments
A Dreamwidth blog post by Graydon Hoare with notes on Rust, mutable aliasing, and formal verification; the capture shows only a captcha check page.
343 points by saikatsg | 242 comments
Blog post by Ivan Turkovic arguing that AI tools make producing code easier while making the broader job of being a software engineer harder.
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.
549 points by chmaynard | 134 comments
Rachel Thomas blog post on how a high-profile Nature paper using a Transformer to predict enzyme functions contained many errors that received far less attention than the original result.