Delightful to see explanation not just of a result but also of how it was thought up, which is unfortunately rare in mathematics.
I recently read a paper of Ryan Williams explaining how one discovers the biggest breakthrough in circuit complexity in the last decade. http://arxiv.org/abs/1111.1261
A most delightful way to procrastinate is to
attempt the unsolved problems on MathOverflow.
agreed
This is incredibly interesting, and (thankfully) has nothing to do with golang, as I feared.
Spoiler alert: Unrelated comment... don't they sound like STDs? :-)