jdh.hamkins.org
The ground axiom is consistent with $V\ne{\rm HOD}$
[bibtex key=HamkinsReitzWoodin2008:TheGroundAxiomAndVequalsHOD]