USDS was gutted and turned into DOGE, 18F is shuttered, and IRS is having mass layoffs.