[Distinguished Lecture] Rigid complex local systems, integrality and $F$-isocrystals