The Wire
Curated cybersecurity and tech news — AI-summarized, source attributed.
Diátaxis: The Four-Quadrant Framework for Structuring Technical Docs
Diátaxis is a documentation framework built on a simple insight: readers come to docs with four fundamentally different needs, and each deserves its own form. I
English's 'essential words' went abstract: what 70 years of vocab lists reveal
A Pudding data essay compares two teaching vocabularies for English-as-a-second-language learners: the 1953 General Service List (~2,300 words) and the 2023 New
EU forces Google to open 11 Android features to rival voice assistants
The European Commission has ordered Alphabet, under the Digital Markets Act, to grant third-party assistants access to eleven Android features on equal terms wi
F*: The proof-oriented language quietly verifying crypto in Firefox, Linux and Azure
F* is a general-purpose, proof-oriented programming language that pairs dependent types with SMT-based automation and tactic-driven interactive theorem proving,
Go 1.27 Adds Generic Methods, Post-Quantum Signatures, and a Stdlib UUID
Go 1.27's marquee change lets methods declare their own type parameters independent of the receiver, so generic operations like a container's Map that transform
Google News Filters Are Broken, and a Journalist Blames the AI Distraction
A working journalist argues that Google News has quietly decayed into uselessness for real reporting. The core complaint is that its filtering controls no longe
How Google's embrace-extend-extinguish cycle stalled RSS adoption
The open RSS protocol remains widely used, but its mainstream momentum stalled largely because Google repeatedly built products around RSS, drew in users, then
How type designers handle the dot: period, comma, ellipsis, bullet, interpunct
A type-design walkthrough of the punctuation glyphs most people never notice: the period, comma, ellipsis, bullet, and interpunct. Because these marks are so co
Karpathy retires the pelican test with a $10, two-hour Lord of the Rings render
Andrej Karpathy argues that quick LLM benchmarks like "draw an SVG of a pelican on a bicycle" are running out of road, and proposes a heavier-weight alternative
Kenji's Pressure-Cooker Pho Ga: A Clear Chicken Broth in Under 30 Minutes
Serious Eats' J. Kenji López-Alt argues that pho ga—Vietnamese chicken noodle soup—is a near-ideal candidate for the pressure cooker, cutting a traditionally ho
Lean's Proof Kernel Fell to an AI-Assisted 'Disproof' of Collatz
A soundness bug in the Lean theorem prover's kernel let a proof of False slip past type checking, and it surfaced in dramatic fashion: on July 25 Ramana Kumar p
MapScaping releases free print-and-fold paper globe templates
MapScaping is offering a set of print-ready paper globe templates that anyone can download, print, and assemble by folding, all at no cost. Beyond the ready-mad