A daily 5-minute digest of the most interesting stories in tech, startups, and programming.