When do we know someone has died (opens in new tab)

As the blog of record in computational complexity, we like to bring attention to those in the community who have left us. When we learn of s...