4 pointsby guiambros3 hours ago3 comments

ljf3 hours ago
The user who posted this seems banned, but their answer seems correct:
jonaslanglotz 2 minutes ago [dead] [–]
It's digital mourning stationery [1] in memory of Tony Hoare [2]. [1] https://en.wikipedia.org/wiki/Mourning_stationery [2] https://news.ycombinator.com/item?id=47324054
- guiambros3 hours ago
  Oh, how insensitive from my part. I didn't realize this was done to memorialize Sir Tony Hoare. Thanks for the answer, and apologies for such a frivolous question.
  - ljf3 hours ago
    To be honest, I didn't know either, so was glad someone asked.
jonaslanglotz3 hours ago
It's digital mourning stationery [1] in memory of Tony Hoare [2].
[1] https://en.wikipedia.org/wiki/Mourning_stationery [2] https://news.ycombinator.com/item?id=47324054
richardjam733 hours ago
Its used to indicate that someone of importance to the community has died.