Surprised to see this on HN. He had lived a long full life.

This brings to mind the depressing fact that Serre too will pass away one of these days. And we will ever see that kind of mathematician ever again.