10 May 2026

35 links · Sunday

the 90 day disclosure policy is dead

TLDR The 90 day responsible disclosure window was built for a world where bug finders were rare and exploit development was slow. That world is gone. LLMs have compressed both timelines to near-zero. I have seen it first hand, and so has everyone else paying a…

Three Cultures of Math

Recent advances in general models — ChatGPT and Claude — have started to autonomously solve open mathematical problems. For example, Erdős 1196, Tim Gowers’s PhD student problems, OpenAI’s Ramsey numbers result. There are a lot of caveats — were the problems w…

Freediving, Embodiment and Humanity

In this post I'd like to utilize my experience with freediving as an excuse to talk about a bunch of seemingly contrasting qualities and emotions, which together — I feel — illustrate some deeper aspects of experiencing humanity. For me, at least, freediving h…

extremely low frequencies

The submarine is a surprisingly ancient technology—at least in its early, primitive forms. The idea is quite simple, that a well-enough-sealed boat ought to be able to submerge and resurface. It's the practicalities that make the whole thing difficult. It is g…

The Struggle is Gone

When I was 18 I started studying physics at University and got my first real taste of “the struggle”.

Summer of PLT

Looking for a summer coding project? Try making a programming language!

Detecting PostgreSQL optimization issues with deterministic analysis

Detecting PostgreSQL optimization issues with deterministic analysis For years, I kept seeing the same PostgreSQL problems in production: missing foreign key indexes stale statistics unused indexes datatype mismatches sequences approaching exhaustion postgres …

The Worlds Left To Conquer — Ludicity

It has been a year and a half since I quit my job to start a consultancy. It took me years to build up to quitting, and I had not only a chip on my shoulder, but to quote Seth Sentry, “the guac and the dip and the salsa.” The people that read this blog probabl…

Agent Readiness

Most teams use agents as glorified autocomplete. A framework for assessing and raising both codebase readiness and team adoption — the two dimensions that have to move together.

COBOL Is the Asbestos of Programming Languages

The most widely adopted computer language in history, COBOL is now causing a host of problems. It's also dangerously difficult to remove.

GrapheneOS (@GrapheneOS@grapheneos.social)

Apple and Google are gradually expanding their use of hardware-based attestation. They're convincing a growing number of services to adopt it. Google's Play Integrity API and Apple's App Attest API are very similar. Apple brought it to the web via Privacy Pass…

HomeGrown Devlog: Programming the Research System

Wishlist HomeGrown on Steam: https://store.steampowered.com/app/1894560/HomeGrown/ Play my previous game "Equilinox": https://store.steampowered.com/app/853550/Equilinox/ Support the channel on Patreon and get access to the game & code for Homegrown, the cit…

The left-wing case for AI

In Many anti-AI arguments are conservative arguments I argued that left-wing anti-AI sentiment1 is partly a backlash to two unrelated events around the rise of ChatGPT: the crypto mania of 2022 and the pro-Donald-Trump push many big tech CEOs made in 2024. If …

You should read Programming as Theory Building

When I finished reading Peter Naur’s Programming as Theory Building my first thought was “How come nobody ever told me to read this?” I ended up reading it multiple times, as I attempted to collect my thoughts on why it makes so much sense.

The Intolerable Hypocrisy of Cyberlibertarianism

I like the Internet. I am old enough to remember the pre-Internet era and despite the younger generations pining for those simpler days, I was there. Paper maps were absolutely horrible, just you and a compass in your car on the side of the road in the middle …