I started contributing to CPython in 2017, and I didn’t get to know Tim well. But I still remember reading his comments on the issue tracker. The way he used mathematical proofs in those discussions gave me a glimpse of the talent behind Timsort.