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.