3 ms·
Proving that Android's, Java's and Python's sorting algorithm is broken (2015)
- Smaug123 3y agoA team tried to formally verify Timsort's correctness, and failed, discovering that Timsort's implementation was broken for sufficiently large inputs in several common environments.