“The two hardest problems in programming are cache invalidation, naming things and off-by-one errors.”