I love how they handled sorting in Python: https://en.wikipedia.org/wiki/Timsort. Good for vast majority of use-cases + formal verification.