Type Systems You Might Not Know (But Will Love) (via abhin4v) — discussion

#plt #video

Push-based vs Pull-based Customization (via LesleyLai) — discussion

#c++

A Nix store is three functions (via skycam) — discussion

#nix

Dropping eBPF CPU Cost by About 90% With Memoization (via ache) — discussion

#linux #performance

GDScript: The Good, Bad, and Ugly Parts (via misty) — discussion

#games #programming

Kythe, a pluggable, language-agnostic ecosystem for building tools that work with code (via kaycebasques) — discussion

#editors #plt

A New Equal-Area Map for Interactive Computer Use (by benjoffe) — discussion

#math #web

How GCC Eliminates Unnecessary Integer Division (via juliethefoxcoon) — discussion

#c #compilers

"Do You Still Read the Code?" (by zanlib) — discussion

#practices #vibecoding

How I use a single .zshrc file on macOS and Windows (WSL2) (by Dew) — discussion

#mac #windows

How my e-reader lost its stripes (via Helithumper) — discussion

#graphics #hardware

SplitFT: Fault Tolerance for Disaggregated Datacenters via Remote Memory Logging (via typesanitizer) — discussion

#distributed #pdf #performance

When Did Our Definition of AGI Become So Piss-Weak? (via sumner) — discussion

#vibecoding

A Letter from a Machine Learning Engineer (by nemin) — discussion

#ai

Why don’t machine learning research agents overfit? (via rajtilakjee) — discussion

#ai

I wish you the best in the Offline (via skycam) — discussion

#culture

The contagion of fear (via rrampage) — discussion

#ai

How can you not be romantic about UNIX domain sockets? (via polywolf) — discussion

#c #unix

ASK: What blog posts influenced your thinking the most? (by mt)

#practices

There are only twelve 4x4 sudokus - and a cool trick for finding minimal subsets (via aziis98) — discussion

#compsci #math #python