The extra second that jammed Linux

How the leap second added at midnight GMT on 30 June 2012 made Linux timers fire early or at once, spun CPUs at Reddit, Gawker and Mozilla, and why code that almost never runs is the riskiest code you have.