“There are only two hard problems in computer science: cache invalidation and naming things.”