[ilyt]

I doubt someone spent 10 years trying to implement a binary search.

I suspect it is as usual, someone made theoretical invention, then someone else looked at it years later and wrote implementation in evening or two

[kragen]

more likely there were a lot of correct implementations, but they got debugged after the initial publication, and then didn't publish the erratum