Laver functions for supercompact cardinals appear in many forcing constructions, including all known constructions of models of strong forcing axioms. Viale proved that the Proper Forcing Axiom implies the existence of a "generic" Laver function from $\omega_2 \to H_{\omega_2}$. I will discuss his result and some recent work of mine on generic Laver functions.