Move Fast and Abandon Things (via hoistbypetard) — discussion

#art #mac #programming

A few secure, random bytes without `pgcrypto` (via surprisetalk) — discussion

#cryptography #databases

The Hidden Cost of Data Movement (via eatonphil) — discussion

#databases

A Data-Driven Approach to Writing Better Developer Documentation (by philippemnoel) — discussion

#debugging #education #testing

Genera Retrospective: "the world's first commercial object-oriented OS" (1991) (via mepian) — discussion

#historical #lisp #osdev

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