We got a machine-learning algorithm to come up with 400 surprisingly plausible names for dogs