- cross-posted to:
- [email protected]
- cross-posted to:
- [email protected]
You must log in or # to comment.
Inventor of timsort, RIP
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.
This is sad. I will remember him with much admiration. He was very active on Usenet and incredibly helpful to everyone.


