Aesthetics

The Beauty of Mathematical Abstraction

What makes mathematics beautiful: generality, inevitability, compression, and surprise. And why abstraction matters for software.