Computational Public Space (via chrislloyd) — discussion

#design #video

Stack overflow is almost dead (via dogacel) — discussion

#programming

Understanding task types in the Gemini Embedding API (by kaycebasques) — discussion

#practices #science #vibecoding

A leap year check in three instructions (via wizardishungry) — discussion

#c #compilers #formalmethods

Initialization in C++ is bonkers (2017) (via ansible-rs) — discussion

#c++

10 Years of Stable Rust: An Infrastructure Story (via fanf) — discussion

#rust

Rust 1.0, ten years later (via wofo) — discussion

#historical #rust

Skills Rot At Machine Speed? AI Is Changing How Developers Learn And Think (via giffengrabber) — discussion

#practices #vibecoding

Diagnosing a Double-Free Concurrency Bug in Rust's Unbounded Channels (via knl) — discussion

#rust

Sleeping soundly with the help of TLA+ (2022) (via hwayne) — discussion

#distributed #formalmethods

The current state of TLA⁺ development (by ahelwer) — discussion

#formalmethods

Declaring a friendship to self (via raymii) — discussion

#c++

Introducing lazy trees in Determinate Nix 3.5 (via grahamc) — discussion

#nix #performance

Announcing Rust 1.87.0 and ten years of Rust (via ehamberg) — discussion

#release #rust

Please Please Please (via JordiGH) — discussion

#debugging #satire

Asahi Linux Progress Report: Linux 6.15 (via calvin) — discussion

#linux

Lua for Elixir (via veqq) — discussion

#elixir #lua

Training Solo: New Set Of Serious Security Vulnerabilities Exposed For Intel & Arm CPUs (via WilhelmVonWeiner) — discussion

#security

Rethinking Modern Asynchronous Paradigms (via aiono) — discussion

#programming

Demystifying Ruby (1/3): It's all about threads (via Cassandre) — discussion

#ruby