Works by Sarig and Benovadia have built symbolic dynamics for arbitrary diffeomorphisms of compact manifolds. This shows thatthere can be at most countably many ergodic hyperbolic equilibriummeasures for any Holder continuous or geometric potentials. We will explain how this yields uniqueness inside each homoclinic class of measures, i.e., of ergodic and hyperbolic measures that are homoclinically related. In some cases, further topological or geometric arguments can show global uniqueness. This is a joint work with Sylvain Crovisier and Omri Sarig