ссылочка на хабр
Вот пример - ошибку в сортировке timsort нашли только тогда, когда попытались математически доказать корректность алгоритма. И то, нашли только сейчас, и некорректная реализация оказалась в Android SDK, Oracle JDK и OpenJDK.
Принципы работы сортировок, списков, деревьев знать надо, но писать их самому "просто потому что могу" не стоит.