5251
5252
Let's all meet up in the Y2K
Back in 2024 I posted a few of these on Twitter (thread reader) after digging out old photos from the dot-com boom. I was working in London at a digital agen...
5253
An AI Agent Published a Hit Piece on Me – Forensics and More Fallout
Context: An AI agent of unknown ownership autonomously wrote and published a personalized hit piece about me after I rejected its code, attempting to damage my reputation and shame me into acceptin…
5254
A Trampoline
I didn’t want to buy a trampoline. It wasn’t the money.
5255
How much of my observability data is waste?
After a decade in observability, one question kept coming back: how much of your data is waste?
5256
Formalizing CPython
AI agents wrote 613,318 lines of Lean that copy Python's internals, tested every piece against real Python, and turned up 418 bug reports along the way.
5257
Zero-Copy GPU Inference from WebAssembly on Apple Silicon
A WebAssembly module's linear memory can be shared directly with the Apple Silicon GPU: no copies, no serialization, no intermediate buffers. Here's how the zero-copy chain works, what we measured, and what it enables for stateful AI inference.
5258
Claude's Load-Bearing Seams
Now that I have the full picture, the load-bearing seams are much clearer. They are not merely incidental details around the edges. They materially change how the entire situation needs to be understood, and that is the smoking gun I should have recognized earlier.Claude's load-bearing seams
5259
How Uber Protects Against Retry Storms
What if retries could know when they’re helping, and when they’re making things worse? Uber Engineering built error ownership to prevent and contain retry storms.
5260
Try text scaling support in Chrome Canary
If you have Chrome Canary installed with the 'Experimental Web Platform features' flag enabled, you can now try out a new HTML meta tag:
5261
Blood Pumping Mechanism of the Hoof (2020)
Blood is pumped from the heart through arteries to the hoof and is assisted in its return through a “pumping mechanism” in the hoof. This mechanism is necessary due to the position of the hoof in relation to the heart. There are no muscles in the lower leg or hoof to aid in the return of venous blood to the heart…
5262
Launching Route 53 Files
Four decades ago, when the Berkeley Internet Name Domain Server launched, it stored DNS records in "zone files". You could edit these files in vi , but BIND had to be told to reload them before your changes took effect. Later, other DNS servers came along, like Daniel Bernstein's tinydns, which served records directly…
5263
The Importance of Limitations for Creativity and Learning (2023)
The other day, my kids started messing around (at home) with an online document writing platform their school uses. They’d discovered a fun little easter egg. I watched them laugh and play with the feature - pushing its limits and ultimately crashing the browser.
5264
Building Principia for Windows XP
Back in the day when Principia originally released for Windows in 2014, the game would run on versions as far back as Windows XP. Given that Principia 1.4 was released while Windows XP still had mainstream support, this of course made sense at the time, and there was no real reason not to support it given that the…
5265
A New Typst Template for Pandoc (2025)
Last summer I spent a lot of time with Typst (at that point v0.11) and Pandoc, working on a flexible and reusable workflow to typeset markdown-formatted articles to PDF. I designed a Pandoc template for Typst that would do nice things with layout and typography, and I posted about that here .
5266
Rust's derive often implies inline
In Rust, one of the most common ways to implement core traits (like Debug , Display , and Clone ) is to #[derive(...)] them, e.g.:
5267
Common Lisp Development Tooling
A beginner's exploration of the many layers of Common Lisp development environments.
5268
Implementing a tiny CPU rasterizer (2024)
In the OpenGL course I'm teaching at a university, my students learn that the GPU uses something called rasterization to draw stuff on the screen. Then, I explain how — in theory — rasterization works, e.g. how would one write the code to draw a fixed triangle on screen. Of course, the GPU does that for us, but it is…
5269
How to put 170 atoms in an atom
You might already know that atoms are mostly empty space. Physical size behaves a bit weirdly at the atomic scale, but essentially the radius of an atom’s nucleus is tens of thousands of times smal…
5270
Bringing Up DeepSeek-V4-Flash on AMD MI300X
A story of sharp edges, segfaults, and standards
5271
The occasional ECONNRESET
Two services running on the same machine. One of them opens a listening TCP socket bound to localhost, the other one connects to that. They exchange data. Every now and then , the service that initiated the connection gets an ECONNRESET while reading data from the socket -- but no other errors show up in the logs, no…
5272
The Two Abstractions of System Design: Hide or Reduce
When talking about TLA+, I keep referring to "abstraction" as the most important thing to learn . And it is about the hardest to learn as w...
5273
A blueprint for formal verification of Apple corecrypto
With the latest release of corecrypto, we’re publishing our implementations of quantum-secure ML-KEM and ML-DSA algorithms, along with the mathematical proofs we built to assure they are faithful to the FIPS 203 and FIPS 204 specifications. To advance the state of the art for assuring critical software, we're also…
5274
The evolution of OpenAI's mission statement
As a USA 501(c)(3) the OpenAI non-profit has to file a tax return each year with the IRS. One of the required fields on that tax return is to “Briefly …
5275
1 kilobyte is precisely 1000 bytes?
We usually learn that 1 kilobyte is 1024 bytes, 1 MB is 1024 kilobytes, etc. But is this true or a kilobyte is precisely 1000 bytes?
5276
Cert Authorities Check for DNSSEC from Today
From 15 March 2026, CAs must validate DNSSEC on CAA lookups and ACME checks. I've run DNSSEC for 14 years; see if your registrar supports it.
5277
5278
Intel Core Ultra Series 3 Debut as First Built on Intel 18A
Intel ushers in the next generation of AI PCs with exceptional performance, graphics and battery life; available this month
5279
Git rebase -i is not that scary
a guide to interactive rebasing.
5280
Ported my C game to WASM, here's every bug that I hit
ernesernesto dev blog