I will discuss some places in homotopy theory where one encounters perfect $\mathbb{F}_p$-algebras. The focus will be illustrating the ways in which the rigidity of this category allows us to prove several a priori surprising theorems.
Links:
[1] http://www.mpim-bonn.mpg.de/de/taxonomy/term/39
[2] http://www.mpim-bonn.mpg.de/de/node/3444
[3] http://www.mpim-bonn.mpg.de/de/UHT