Is there a culture gap between the military and big tech?