This talk will be colloquial and geared towards people from other fields. I will talk about smooth mod $p$ representations of $p$-adic Lie groups. In stark contrast to the complex case, these categories typically do not have any (nonzero) projective objects. For reductive groups this is a byproduct of a stronger result on the derived functors of smooth induction. The talk is based on joint work with Peter Schneider.