Coding for the future of U.S. national defense