• 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.