Homology of local rings