The Bumps, Cuts and Zeros in Trump’s Tech Budget