> correctness is easy to check
This binary search bug took two decades to be discovered: https://research.googleblog.com/2006/06/extra-extra-read-all...
This binary search bug took two decades to be discovered: https://research.googleblog.com/2006/06/extra-extra-read-all...