We can’t send mail farther than 500 miles (2002)

Typechecking is undecidable when 'type' is a type (1989) [pdf]

MOOSE Crossing: Construction, Community, and Learning in a Networked Virtual World for Kids (1997)

To flexibly organize thought, the brain makes use of space: « MIT researchers tested their theory of spatial computing, which holds that the brain recruits and controls ad hoc groups of neurons for cognitive tasks by applying brain waves to patches of the cortex

Computer Systems Security 6.566 / Spring 2024

Meditation and Unconscious: A Buddhist Monk and a Neuroscientist (2022)

MIT Whirlwind I: A High-Speed Electronic Digital Computer (1951) [pdf]

Agonist-Antagonist Myoneural Interface

Mathematics for Computer Science (2018) [pdf]

Street-Fighting Mathematics (2008)