Sequences modulo one: convergence of local statistics

We survey recent results beyond equidistribution of sequences modulo one. We focus on the sequence of angles in a Euclidean lattice in $\mathbb R^2$ and on the sequence $\sqrt n\bmod1 $.