Why are laid-off tech workers so happy?