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