Recent progress on quasi-periodic lattice Schrödinger operators and Hamiltonian PDEs