Using the Bochner technique, Steve Kerckhoff and I recently proved the following theorem. Let M be a compact hyperbolic manifold with totally geodesic boundary. If M has dimension at least four, then the holonomy representation of M is infinitesimally rigid. This is an infinite volume analog of the Calabi-Weil rigidity theorem. I will explain some of the background and ideas used in the proof.