Trump went from calling tech leaders tyrants to having inside jokes with them? What changed?