The day’s top tech headlines from across the web