A very nice hack for getting at the physics of the climate using some nice linear algebra techniques is presented. My first time seeing an ill-conditioned problem in the wild.

Well this is just wonderful: Studio Ghibli has uploaded hundreds of high-resolution still images from almost all of their films, including all of the major ones […]

Ever since I arrived at fellow blogger Dave Bacon‘s house on Tuesday, the Pontiff and I have been tossing around ideas for a joint blog initiative. Finally we hit on something: since we’re both neologistas — people who enjoy spending their free time coining new words — we decided to compile a list of the neologisms we’d most like to see adopted by the general population.

So, OK, why should you believe P≠NP? Here’s why: Because, like any other successful scientific hypothesis, the P≠NP hypothesis has passed severe tests that it had no good reason to pass were it false.

These lecture notes are based on the material I used to teach the Domain Theory (TypeSIG) course at the University of Edinburgh in 2024.

For programming and software engineering practice, Curry-Howard is of essentially no practical benefit, unless you are using a dependently-typed language.

People always talk about “P vs NP” like P problems are easy and NP problems are hard. This is a useful day-to-day model but also an oversimplification. Problems can get way, way harder than NP.

An explainer for people who don’t know computer science and are mildly curious

Very impressive. The drums remind me of my auto-breakbeat tool, except there’s buttons and knobs, which makes it way better. The “drop” button is sick.

For the chords, I’ve been meaning to make a T-PD-D-T progression generator for a while. Like how the tool here actually implements the circle of fifths to create very natural sounding progressions. The incorporation of silence is also laudable.

Great intro to choice feminism and where it and common critiques fail.

Notes on Benn Stancil’s post in 2021 Tilt and tilted, about the objectivity of data-driven decisions.