In a series of comically brief social media posts, two of the leading figures in the tech world have agreed to fight one another.
