The Hoare Cube (via knl) β discussion
#formalmethods
The Hoare Cube (via knl) β discussion
#formalmethods
A complex bug with a βΈ’simpleβΈ£ fix (via hwayne) β discussion
#debugging
Keyset Cursors, Not Offsets, for Postgres Pagination (by acco) β discussion
#databases
Full-stack quantum computing, from hardware to compilers and algorithms (by freetonik) β discussion
#hardware #science #video
Making Fun Flask Apps for No Reason (via Jackevansevo) β discussion
#python #web
DSQL Vignette: Reads and Compute (via eatonphil) β discussion
#databases
PyMyFlySpy: track your flight using its headrest data (via hwayne) β discussion
#python
Why I Hate Language Benchmarks (via vi_mi) β discussion
#compilers #performance
The Cloud Container Iceberg (by adamgordonbell) β discussion
#devops
The Art of the Propagator (via dustyweb) β discussion
#lisp #plt #programming
Computational murk (via dustyweb) β discussion
#philosophy
Speeding up Ruby by rewriting C in Ruby (by jpcamara) β discussion
#c #compilers #ruby #rust
21 Algol 60 compilers in 1962 (via dpk) β discussion
#compilers #historical
MemoryDB: Speed, Durability, and Composition (via Sietsebb) β discussion
#scaling
The Tube Computer: wall-mounted 8-bit homebrew computer from vintage thermionic valves (via lproven) β discussion
#hardware #historical #retrocomputing
Linux TCP SO_REUSEPORT: Usage and Implementation (via knl) β discussion
#linux #networking
Introducing Amazon Aurora DSQL (via Tenzer) β discussion
#databases
SILE and the Hydra of Maths: Showcase & Critical Assessment 2024 (via alerque) β discussion
#lua #math #pdf #plt
Transferring Python Build Standalone Stewardship to Astral (via usrme) β discussion
#python