Broken Binary Search
I’m late in linking to this, but I found this very interesting: Nearly all binary searches and mergesorts are broken … if they’re written in mainstream programming languages. Patrick Logan and James A. Robertson show how other languages get around this problem.