News for hackers. Stuff that matters.
Re:Timsort, the Python sorting algorithm by eru on Wednesday October 09, 2019 @04:38AM (#21201234)
It seems like a standard library sort-function is the ideal candidate for investing in proving correctness.

There are no comments on this comment yet.