An Uber exec just summed up tech’s diversity problem—and solution—in 37 words