You Can’t Design Software You Don’t Work On — Design Must Be Grounded in Code
TL;DR Meaningful software design requires intimate knowledge of the existing codebase; generic design guidance rarely maps cleanly onto large, evolving…
Simple Kubernetes egress control using Squid proxy and NetworkPolicy
TL;DR A straightforward pattern uses a Squid HTTP/HTTPS proxy inside Kubernetes and a NetworkPolicy to force outbound traffic through it.…
How California built one of the world’s largest public-sector IT systems
TL;DR FI$Cal is California’s consolidated financial management system, conceived in 2005 and declared functionally complete in 2021. The PeopleSoft- and…
Europe’s push for a sovereign cloud: Building an ‘Airbus’ for data
TL;DR European governments and industry are trying to replicate the Airbus model to create a competitive, sovereign cloud stack that…
Halide Compression releases fast C port of Cambridge CVVDP metric
TL;DR Halide Compression published fcvvdp, a C implementation of the Cambridge CVVDP perceptual quality metric, with a reported large reduction…
How Mega-Codebases Produce Massive ELF Binaries and the 2GiB Relocation Barrier
TL;DR Large, statically linked codebases can produce ELF binaries that grow well beyond several gigabytes, exposing a practical limit caused…
Z80-μLM: Conversational AI Shrunk to a 40KB CP/M .COM Binary
TL;DR Z80-μLM is a tiny character-level 'conversational' model engineered to run on a 4MHz Z80 with 64KB RAM, packaged as…
Mockito maintainer to step down after a decade over agent, Kotlin issues
TL;DR The long-time Mockito maintainer announced he will resign in March 2026 after ten years, citing exhaustion from a JVM…
Self-hosting Is Being Enshittified — Rising Hardware Costs and Broken Trust
TL;DR Self-hosting gained mainstream attention in 2025, but the move was met with rising hardware costs and several high-profile shifts…
Slaughtering Competition Problems Using Quantifier Elimination in SageMath
TL;DR A blog post demonstrates using quantifier elimination — via the Tarski–Seidenberg theorem and QEPCAD through SageMath — to automate…