Interestingly, I'd had been reading up on the Hindley-Milner algorithm, when I heard the news. Which is the third time in the past year, that I have been reading up on someone when they died.
Wasn't he at his wives funeral like three days before? Sucks to be his family