Christopher Mims writes about technology and science.