So what happened to the $10k bet? Did they ever get to agree with something or was the other guy just trolling?

Nice to see it really happened. But I do not think it will really that big of a news. After the stupidity of Brian Armstrong shown in his tweets of ETC I have lost faith and confidence in him. I do not think he is qualified to run Coinbase.