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…
fcvvdp: a compact, high-performance C implementation of the CVVDP metric
TL;DR Halide Compression released fcvvdp, a C implementation of the University of Cambridge CVVDP perceptual metric. Benchmarks on a Core…
Slaughtering Competition Problems with Quantifier Elimination in Sage
TL;DR A 2021 blog post demonstrates using quantifier elimination (via the Tarski–Seidenberg theorem and QEPCAD through SageMath) to mechanically settle…