In Search of a Compositional Theory of Self-Stabilization
My literature search for recent work on composing self-stabilizing systems didn’t yield anything useful. The layered stabilization idea was already in place by the early 2000s, and nothing fundamental seems to have been added since. Frustrating. So I decided to attack the problem using the concrete example I have. I had composed a rely-guarantee TLA+ […]
Why Does an NPM Math Library Need an Encrypted Loader?
We found a remote access implant hidden inside [email protected], an npm package that copies the popular mathjs library. The malicious code ships encrypted. It stays dormant until a program solves a specific equation with the library. That equation is the key. When the key matches, the package decrypts a payload and runs it. The payload […]
Turn off and restrict access to Apple Intelligence features on Mac
*Apple Intelligence is available with Siri and device language set to Chinese (Simplified), Chinese (Traditional), Danish, Dutch, English, French, German, Italian, Japanese, Korean, Norwegian, Portuguese, Spanish, Swedish, Turkish, or Vietnamese. Some features may not be available in all regions or languages. Some devices may not be available in all regions. Siri AI is available in […]
Show HN: Foremerge – Catch Intent Conflicts Between Parallel Coding Agents
Foremerge is the open-source coordination protocol for coding agents, built above Git. Agents keep isolated worktrees while sharing intent, semantic claims, dependencies, provisional ChangeSets, decisions, validation, and provenance. Tell your agent to install → Done → See collisions before they land Paste one line into Claude Code, Codex, or Cursor It installs Foremerge and wires […]
This Digital Radio Gets Messages to the World’s Remotest Locations
3 min read Margo Anderson is senior associate editor and telecommunications editor at IEEE Spectrum. Peter Bloom founded a nonprofit that provides remote communities with shortwave radios that have much better digital data rates than other options. Stuart Bradford Shortwave radios offer a way to connect one location on Earth to practically anywhere else with […]
How do Traffic Signals Work (2019)
If you live in a major city, I can take a pretty good guess at one of your most common frustrations: traffic. In city driving, the journey is rarely better than the destination. In most cases, we just want to get where we’re going. Traffic is not just frustrating, but it has consequences to the […]
Grok 4.7
Grok 4.7 is our most capable model for coding and knowledge work. It works longer on difficult tasks, checks its own work more carefully, and comes with our best-calibrated safeguards to date. Served at the same price and speed as Grok 4.6, it is highly competitive in its class. A scatter and line chart comparing […]
A restored PDP-11/83 serving this page on 211BSD Unix
Digital DNA • 1980s engineering PDP-11 power with modern polish A restored PDP-11/83 with a Mentec M11 processor, two chassis, and a mix of DEC and Emulex controllers. Classic disks, magnetic tape, serial terminals, and 2.11BSD keep this collection connected to its roots. Q-bus System Mentec M11 processor Onboard memory RQDX3 • UC07 • KDA50
Good people refuse to do bad things
I resigned from Anthropic today. I spent the last three years doing pretraining research at both OpenAI and Anthropic. Neither company is acting responsibly. They are racing straight to self-improving superintelligence and gambling with our lives. More thoughts below. — Jacob Coxon (@hilbertspaess) September 9, 2026 This is how Jacob Coxon said goodbye to the […]
Meta bans ads for Virginia Woolf play in Spain
A theatre in Barcelona has been banned from promoting a stage adaptation of Virginia Woolf’s A Room of One’s Own on Instagram and Facebook because the work includes “social topics”. When the newly reopened Teatre Raval, which seats 193 spectators, asked Meta, the parent company of the two social media sites, why its publicity had […]