Because being a geek is a good thing

A Google engineer implemented a Zstandard decompressor in Lean with formal proofs generated by an LLM, motivated by the historically steep cost of verifying software like seL4. The experiment explores whether artificial intelligence can make practical an approach that until now was territory reserved for a few teams with nearly unlimited budgets.

An article published on July 23, 2026 by Filip Roséen revisits the null colon, a shell command that does nothing but discard its own result. The trick lets you validate required arguments, assign default values, and truncate files in a single line, a practice that dates back to Thompson’s shell in 1971.

ESP32 Plane Radar turns an ESP32-C3 into an ADS-B plane radar with a 1.28-inch round display. The latest fork adds flight routes, local weather, and authenticated OTA updates via the browser.

Designer Anatoly Zenkov documented how button text (“Accept All,” “Continue with Facebook,” “Subscribe”) gets copied and pasted between sites without ever being redesigned. The phenomenon has concrete technical roots: consent frameworks, OAuth SDKs, and design systems with default text.

AMD and Meta ported PyTorch Monarch, the single-controller runtime for distributed training, to Instinct GPUs with ROCm. The system isolates failures by actor and lets the cluster keep training even if a node goes down, without restarting the entire job.