As a fellow California HPC admin I definitely like the idea of something like SNAP. But I would want full control over it, can't have production systems down because some infrastructure somewhere else in the world is down.
Of the ones I looked at NIX looks particularly promising, having dependencies based on checksums sounds pretty cool.