DigitalOcean, a cloud hosting company best known for its “droplet” virtual server system, is now using the CoreOS Linux distribution to offer Docker-powered virtual servers to its customers. CoreOS ...