I knew someone had died before I even started scanning the stories, because of the black bar up top.

My condolences to his family. He was quite an accomplished computer scientist.