Elon Musk arrived in the nation’s capital with the chain saw-wielding swagger of a tech titan who had never met a problem he couldn’t solve with lots of money, long hours or a well-calibrated algorithm.

Late on Wednesday evening, Elon Musk announced the official end of his short, traumatic tenure as the head of a made-up agency called the Department of Government Efficiency. Musk’s post on X, the social-media network he owns and had sought to weaponize in service of a radical cost-costing assault on the federal government,

During his brief stint in the Trump administration, the billionaire left a big mark on the government with his DOGE agency.