Related:

Frances Allen has died - https://news.ycombinator.com/item?id=24066832 - Aug 2020 (101 comments)