Three greats who weve lost Sir Charles Antony Richard Hoare (1934-2026) won the 1980 Turing Award for numerous contributions to computer science, including foundational work on concurrency and formal verification and the invention (with Dijkstra) of the dining philosophers problem. But he’s perhaps best known, to pretty much everyone who’s ever studied CS, as the

Changes in the system prompt between Claude Opus 46 and 47

Join us at PyCon US 2026 in Long Beach - we have new AI and security tracks this year

Qwen36-35B-A3B on my laptop drew me a better pelican than Claude Opus 47

AI cybersecurity is not proof of work The proof of work is the wrong analogy: finding hash collisions, while exponentially harder with N, is guaranteed to find, with enough work, some S so that H(S) satisfies N, so an asymmetry of resources used will see the side with more “work ability” eventually winning. But bugs are different: 1. Different

An Arm Mainboard for the Framework Laptop Using the repair-friendly Framework 13 laptop chassis, I’ve tested the low-end x86 option (a Ryzen AI 5 340 Mainboard), the fastest RISC-V option (DC-ROMA II), and today I’m publishing results from the only Arm Mainboard, the MetaComputing AI PC, which has a 12-core Arm SoC and up to 32 GB

watgo - a WebAssembly Toolkit for Go

Metas new model is Muse Spark and metaai chat has some interesting tools

Anthropics Project Glasswing - restricting Claude Mythos to security researchers - sounds necessary to me

Before we start on quantum Imagine that every week for twenty years, people message you asking you to comment on the latest wolf sighting, and every week you have to tell them: I haven’t seen a wolf, I haven’t heard a wolf, I believe wolves exist but I don’t yet see evidence of them anywhere