Winamp Legacy source code (via technetium) — discussion
#historical #windows
Winamp Legacy source code (via technetium) — discussion
#historical #windows
It's Time for Operating Systems to Rediscover Hardware (via PuercoPop) — discussion
#osdev #video
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 (via df) — discussion
#distributed #pdf
How we verify the correctness of a spreadsheet engine (via hwayne) — discussion
#testing
Insecurity Through Mandates (via Vaelatern) — discussion
#security
Hand-wired CPU that natively executes Brainfuck code (via BiteCode) — discussion
#programming #video
Refactoring Python with Tree-sitter & Jedi (by Jackevansevo) — discussion
#python
Open Versus Closed: A Cautionary Tale (2006) (via eatonphil) — discussion
#pdf #performance
Jetstream: Shrinking the AT Proto Firehose by >99% (via winter) — discussion
#networking
Amazon DynamoDB: Evolution of a Hyperscale Cloud Database Service (2022) (via eatonphil) — discussion
#databases
the soundless interstitium (by surprisetalk) — discussion
#formalmethods #web
devenv 1.2: Tasks for convergent configuration with Nix (by domenkozar) — discussion
#nix
Ethernet in 17 lines of Spade (via wucke13) — discussion
#hardware #video
Real World Performance Gains With Postgres 17 B-tree Bulk Scans (via MatheusRich) — discussion
#databases #performance
C++'s next decade (via zhscn) — discussion
#c++ #pdf
The Two Machines (via gmcabrita) — discussion
#databases
C Until It Is No Longer C (via xyproto) — discussion
#c
Colocation: More jabbering from me about non-clown hosting (via asymmetric) — discussion
#hardware #networking
What I tell people new to on-call (via PicNoir) — discussion
#practices
Be someone who does things (via munksgaard) — discussion
#culture