[jadamson]

It signifies that someone notable in the industry has recently died, in this case Tony Hoare [1]

[1] https://news.ycombinator.com/item?id=47324054