• HaraldvonBlauzahn@feddit.org
      link
      fedilink
      English
      arrow-up
      1
      ·
      edit-2
      1 day 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.

  • HaraldvonBlauzahn@feddit.org
    link
    fedilink
    English
    arrow-up
    6
    ·
    edit-2
    19 hours ago

    This is sad. I will remember him with much admiration. He was very active on Usenet and incredibly helpful to everyone.