15 August 2026

43 links · Saturday

Why I remain a skeptic

I still do not use LLMs for anything I actually care about. There are a lot of reasons I could give: environmental, social, political. I could talk about ecosystem lock-in, learned dependence, self-soverignty, philosophical concerns, the intentional dismantlin…

The End of Mathematics — Daniel Litt

I'm currently returning to Toronto from a summit on the future of mathematics, at OpenAI. Sebastian Bubeck asked me to talk a bit about the future we'd all like to avoid, where humans are mathematically disempowered. Jacob Tsimerman advised us to try to priori…

Every Check Was Green. Five Guarantees Were Not.

254 tests, zero clippy warnings, no unsafe, five CI jobs — all passing, and five real holes underneath. The worst one: our taint floor silently stopped working whenever a directory wasn't writable. Each hole, and the five ways a check can be present and prove …

Codex hit 15 million users four months early

The June 2 trendline pointed to 10 million by mid-October. Combined Codex + ChatGPT Work crossed 15 million in August. See the missed projection →

Lazy loading YouTube embeds

Since I'm adding many YouTube videos to the new Web Gems section, I decided to lazy load all YouTube embeds on the website. The concept is straightforward: instead of loading the full YouTube player for every video on a page, only the video's thumbnail and a s…

Which Data Repository Should You Use?

The Center for Open Science has announced that from November 16, 2026, no new projects can be created on the Open Science Framework. After F...

So Who's Going to Buy All These Tokens?

Assume every AI model works exactly as promised. The spending still doesn't pencil out, and the receipts so far point at so-so automation: jobs traded for tokens with the productivity dividend still missing.

Yes, Code Review is Still Necessary

Three times this week an AI agent wrote code that worked but was structurally wrong. Here's why code review still matters in agentic development.

Custom FreeBSD UCARP Setup

This entry is sponsored by fme AG company – and this article aspires to share about interesting HA setup on node01a and node01b VMs. Below drawing was created by Tim Serong and greatly visual…

Lessons Learned from Fixing Flaky Tests with Claude

We recently sped up our integration tests by a factor of ten by running many of them in parallel. There were several flaky tests in the new test suite. Claude was really useful in getting rid of al…

Could a computer scientist build a brain?

How does a brain wire itself, starting from a single cell, using only the information encoded in a genome? We pose this as an engineering problem.

The other Sean Byrne doesn't exist

A fictitious Sean Byrne ended up on a U.S. government restricted-party list. Sixteen years later, Apple, Nasdaq and others have mistaken me for him.

Everything is about to “go dark”

I’m coming down from spending a few days at Usenix Security, right here in my hometown of Baltimore. This means that my days have been taken up with two kinds of conversation: first, explaini…

What do we do if many people aren't working? - Wilsons Blog

To my previous post, “Why do we assume everyone should be working?“, one of the more common and good responses was “well, if people don’t work, lots of bad things will happen”. This is a very fair point, here are some of the good arguments I received: All thes…

It's time to rip off the band-aid and stop performing code reviews

For everyone who just got a little tense reading the headline: I get it. I was there too, not so long ago. At the beginning of this year I spent a month building what was at the time–and might still be–the best AI-aided code review tool in

Structure Was Always the Hard Part - Jason Fleetwood-Boldt

My friend Koushik Dasika wrote a post last week called “Coding Was Never the Hard Part.” He’s right. The interesting question is why we’re only able to say it out loud now. For two decades, the conventional story about software has been that engineers are slow…

Code is the hard part

You've probably heard the opposite from those annoying corporate types with a shiny and popular LinkedIn profile. Guess what? They don't hav...

Why not always OCR?

In a previous post I talked about how OCRing the PDF would solve the problem I was facing. However, I chose to process the PDF with a different method. Someone in the hacker news comments had this to say. This person is not wrong, but I’d like to point out som…

Spectre on RISC-V Silicon | Lukas Gerlach

Commercial out-of-order RISC-V cores turn out to be vulnerable to the major Spectre variants, and most of the mitigations that exist on x86 are missing.