Blog post on how Nix can help to solve DevOps problems.

The author describes his experience with his transition from macOS to NixOS.

In this paper we have presented Charon, a tool for provision- ing and deployment of networks of machines from declarative specifications. It has several important properties, such as reproducibility, integration of provisioning and deployment, and abstraction over cloud backends. In future work, we intend to improve management of mutable state, e.g., to allow migration of machines between cloud backends or regions.