Using Artificial Intelligence to Augment Human Intelligence (joint 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

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"