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.

Zakariyya’ al-Qazwini, also known as Qazvini, was a cosmographer and geographer. […] His most famous work is the ʿAjāʾib al-makhlūqāt wa-gharāʾib al-mawjūdāt (lit. ’Wonders of the Creation and Unique [phenomena] of the Existence’), a seminal work in cosmography.

Is symmetry informative? The answer is both yes and no. We examine what information and symmetry are and how they are related. Our approach is primarily mathematical, not because mathematics provides the final word, but because it provides an insightful and relatively precise starting point. Information theory treats transformations that messages undergo from source to destination. Symmetries are information that leave some property of interest unchanged. In this respect the studies of information and symmetry can both be regarded as a Quest for the identity transformation.

In a world filled with ever-more-complex technological, sociological, ecological, political & economic systems… a tool to make interactive simulations may not be that much help. But it can certainly try.