Binary search isn't about search (it's about invariants) | Hacker News Reader