You must log in or # to comment.
This is sad. He was very active on Usenet and incredibly helpful to everyone.
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.


