A former SpaceX manager is developing artificial intelligence for satellites. His startup, Satlyt, has raised $8 million and ...