Even binary search is hard to program correctly: Jon Bentley | Hacker News Reader