1. 7
    Verified TimSort Sketch ☶ programming scala m50d.github.io
    lmm avatar via lmm 3 years ago | cached | 1 comment

Follow-up to discussion on https://lobste.rs/s/blokto/an_haskell_implementation_of_timsort_exhibits_the_same_bug_as_python_and_java_implementations

  1.  

  2. 1
    ngrilly avatar ngrilly 3 years ago | link

    I just took the time to read this article. The thoughts concluding the article are especially interesting and useful.