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
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?