John Carmack, the consulting CTO for Meta’s virtual-reality efforts, is leaving. ‘I wearied of the fight’