Science is Getting Less Bang for its Buck (with Patrick Collison): argues that there have been strongly diminishing returns to the time and money spent on science over the past century.

Augmenting Long-term Memory: How to build personal memory systems.

Using Artificial Intelligence to Augment Human Intelligence (with Shan Carter): By creating user interfaces which let us work with the representations inside machine learning models, we can give people new tools for reasoning.

Magic Paper: What if our mathematical notation had been invented after computers? What if it was gestural, and worked at the speed of thought?

Thought as a Technology: How sufficiently imaginative interface designers can invent new forms of thought.

Toward an Exploratory Medium for Mathematics

Reinventing Explanation: Using new media to create new types of explanation.

The Artist and the Machine: How new aesthetics and forms of beauty are discovered as we probe deeper into nature.

Working notes

Scattered notes on writing I

Using spaced repetition systems to see through a piece of mathematics

In what sense is quantum computing a science?

What if we had oracles for common machine learning problems?

The varieties of material existence

RMNIST with annealing and ensembling

Reduced MNIST: how well can machines learn from small data?

Working notes on Chalktalk

The trouble with definitions

Making invisible understanding visible

Striking user interfaces

Notes on the Dynabook

Engelbart: "Augmenting Human Intellect"