18/08/2021Aha of today: I can now confirm from first hand experience that cache invalidation is a hard software engineering problem.