  Fix a prime number $p$. We report on some recent developments in algebraic
geometry (broadly construed) over $p$-adically complete commutative rings.
These developments include foundational advances within the subject as well as
external applications.
