Computers can be understood

made by nelhage, submitted by Mai
A principled exploration of the author's philosophical approach to computing in general and debugging specifically.

Why sorbet is fast

made by nelhage, submitted by porterjamesj
A post explaining how Sorbet, a Ruby typechecker that Nelson worked on, achieves its high performance.

Reptyr

made by nelhage, submitted by davidbalbert
A tool that lets you move a process from one terminal to another.