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

Internet Artifacts (via freddyb) — discussion

#satire

My 2025 high-end Linux PC (by stapelberg) — discussion

#hardware #linux

Forget IPs: using cryptography to verify bot and agent traffic (via hongminhee) — discussion

#web

autogenlib - Python lib for "vibe importing", generates the code based on its call site (via linkdd) — discussion

#programming #python #vibecoding

ALTCHA - Next-Gen Captcha and Spam Protection (via koala) — discussion

#web

Temporal Super Resolution via Multisampling (via mikejsavage) — discussion

#graphics

Warteschlangensimulator (via bowyakka) — discussion

#formalmethods #performance

Lord of the Sord (via classichasclass) — discussion

#retrocomputing

Data is code (via veqq) — discussion

#plt