Можно ли найти ошибку в алгоритме бинарного поиска?

Можно. Вот эта статья в Google Research Blog демонстрирует, что в коде из 17 строк, которому более 40 лет, есть как минимум ещё одна ошибка.

Сколько ещё такого кода нас окружает?