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