Homotopy types and geometries below Spec$(\mathbb{Z})$ (Livestream from PI)