Anthropic’s ‘Watermark’ Text Adulteration in Claude Is a Perversion of Writing
When I wrote this week about Anthropic’s announcement that all Claude models, worldwide, would soon begin “watermarking” everything they generate, including text, to comply with this EU regulation, we were left to speculate how this was going to work, because Anthropic offered not even a vague description of how it would work — despite the fact that […]
Claude Seems Down
It’s not just Claude API. See: “We are investigating reports of degraded performance affecting claude.ai, platform.claude.com, the Claude API, Claude Code, and Claude Cowork.”. Seems pretty big to me. It’s software used by many here so of course you will hear about Claude downtime here.
The Case Against Formal Verification, 50 Years Later
Engineers are getting excited about software verification! This may come as a surprise, since verification has long been considered useful only in very niche cases (at best; and impractical, useless or a complete waste of time at worst). Yet, the hype around it is clearly here: Google Trends shows a large spike in searches for […]
Models Are Getting Dumber on Purpose
Reasoning scores keep climbing while per-token compute keeps dropping. GLM-5.2 scores 99.2% on AIME 2026 with about 40 billion parameters active per token. Qwen3.5 scores 91.3% with 17 billion active. DeepSeek V4-Flash runs 13 billion active. For scale, GPT-4 was rumored to run around 280 billion active parameters in 2023, and it could barely solve […]
Protobuf has LSP support. You’re welcome
Buf is proud to announce the first fully-featured, production-grade LSP server for Protobuf. The Language Server Protocol is the standard API for integrating language support into your favorite IDE or text editor, such as VSCode, IntelliJ, or Neovim. An LSP server provides the smarts that power go to definition, code completion, finding references, and semantics-aware […]
MathCode, Mathematical Coding Agent
Requires macOS (arm64) or Linux (x86_64), plus the codex CLI for the default backend. git clone https://github.com/math-ai-org/mathcode.git cd mathcode bash setup.sh codex auth login mathcode setup.sh prepares the release checkout, downloads the bundled runtime and Lean toolchain, and installs a user-local mathcode launcher. Try it with: mathcode -p “prove that the square of an even […]
A 3rd World Embedded Engineer Responds to “RISC-V They Should Have Known Better”
Dmitry Grinberg published a long piece explaining his distaste for RISC-V, you can read his article here: RISC-V: They Should Have Known Better – Dmitry.GR. It went to the front page of Hacker News and it started a good argument on Lobsters. It is the most substantial criticism the architecture has had in a while […]
The weekend is 100 years old
For 11 years, from 1929 to 1940, the Soviet Union did not have weekends. Instead, to increase productivity citizens were allocated a day off in every seven at random. With 80% of the population at work on any given day, factories never had to power down. A letter from a disgruntled worker to Pravda newspaper, […]
St Lucie Nuclear Reactor Unit 1 manually shutdown, 3 control rods drop into core
Unit 1 at the St. Lucie Nuclear Power Plant was manually shut down Wednesday morning after 3 control rods dropped into the reactor core, according to a notification filed with the Nuclear Regulatory Commission (NRC). The manual reactor trip occurred at 9:47 a.m. EDT on Aug. 13, 2026, while Unit 1 was operating at 100% […]
GPS and the Lost Art of Getting Lost
Annals of Inquiry G.P.S. and the Lost Art of Getting Lost Illustration by Jackson Gibbs Save this storySave this story Save this storySave this story Around two years ago, Shachar Maidenbaum, a neuroscientist who studies spatial navigation at Ben-Gurion University, in Israel, drove north with his children to visit a friend. He was following his […]