A startup is teaching the US military how to make space radar cheap