Broken proofs and broken provers (via gerikson) — discussion

#math

writing an RSS reader in 80 lines of bash (by y0b1byte) — discussion

#show #unix

I miss thinking hard (via xyproto) — discussion

#philosophy #vibecoding

LFS/BLFS will no longer be developing the System V versions (via rfmoz) — discussion

#linux #systemd

I prefer to pass secrets between programs through standard input (via jmtd) — discussion

#security #unix

Microsoft Has Killed Widgets Six Times. Here's Why They Keep Coming Back (via gerikson) — discussion

#windows

Competence as Tragedy (via Johz) — discussion

#philosophy #vibecoding

rust-dlopen: A dynamic linker fully implemented in Rust (via git-bruh) — discussion

#c #rust

Mobile carriers can get your GPS location (via juliethefoxcoon) — discussion

#mobile #privacy

Why charging overnight doesn't ruin the battery anymore (via raymii) — discussion

#hardware #mac

What arguments was Python called with? (via ubernostrum) — discussion

#python

33 Hot Takes on Systems Programming (via typesanitizer) — discussion

#programming #video

Commodore, IBM, OS/2, ARexx: Deal or no deal? (via classichasclass) — discussion

#retrocomputing

html tables revisted (via veqq) — discussion

#apl #web

Notation as a tool for thought: Wavelets in J (via veqq) — discussion

#apl

Fitting Some Files Through A Stdout-Shaped Hole (by rtpg) — discussion

#devops

Taming the Flat AST: Ergonomics in the Age of Zero Allocations (via noncrab) — discussion

#go #performance

OSMC 2025 - Easy logging refinement with FlowG (by linkdd) — discussion

#devops #show #video

Expensively Quadratic: the LLM Agent Cost Curve (via atharva) — discussion

#vibecoding

GDPR Enforcement Is Broken (via runxiyu) — discussion

#law #privacy