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