I've built a virtual museum with nearly every operating system you can think of (via johnklos) — discussion

#historical #retrocomputing #video

Emacs after Magit (via PuercoPop) — discussion

#emacs

Tonic is joining the gRPC project (via ajdecon) — discussion

#rust

Chasing down why installing the kernel segfaulted (by calvin) — discussion

#debugging #linux

I am not a Software Engineer (via l0b0) — discussion

#practices #vibecoding

pgBackRest with continue (via binarycleric) — discussion

#databases

Pokemon compression myth (via juliethefoxcoon) — discussion

#games #performance

Better generated branch names with jj (via pushcx) — discussion

#vcs

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications (via typesanitizer) — discussion

#formalmethods #testing #vibecoding

Human Bottlenecks (via puhsu) — discussion

#ai

pg_deltax: Apache-licensed time-series extension for PostgreSQL (by tsg) — discussion

#databases

PinTheft Linux LPE (via dzwdz) — discussion

#linux #security

ASK: What would you want from a forge? (by runxiyu)

#ask #design #vcs

How we used Quint to find over 10 bugs in SQLite while hardening Turso (via typesanitizer) — discussion

#databases #formalmethods

Under the Hood: Building a Real-Time Chord Recognizer (via soulcutter) — discussion

#programming

It’s all in the name (via gerikson) — discussion

#security #vibecoding

Type out the code (by Gabriella439) — discussion

#programming

The Super Tiny Compiler, but in Ada (by tomekw) — discussion

#plt #programming

My domain got abused on Github Pages (via lalitm) — discussion

#security

OpenBSD 7.9 released (via utzig) — discussion

#openbsd