Hacker News new | ask | show | jobs
by tokamak 1461 days ago
I love how they handled sorting in Python: https://en.wikipedia.org/wiki/Timsort. Good for vast majority of use-cases + formal verification.