World shares are mixed on Wednesday, following a sell-off in big technology stocks from Asia to Wall Street. U.S. stock ...