Local web development vs. Vagrant vs. Docker: What’s right for you? | Hacker News Reader