• HaraldvonBlauzahn@feddit.org
    link
    fedilink
    English
    arrow-up
    1
    ·
    edit-2
    3 days ago

    One time, a subtle bug in timsort was found - after applying proof assistants - and it turned out that the timsort algorithm was used in a significant number of other open source projects that needed fixing as well.