talk 1: Perfect $\mathbb{F}_p$-algebras in homotopy theory