Ergodic theory and negative curvature (2017)