> Which of them actually ensure your program always works the same as when you first wrote it, without asterisks? Nix does, if you want to actually invest the

> Which of them actually ensure your program always works the same as when you first wrote it, without asterisks? Nix does, if you want to actually invest the effort into the "without asterisks" part.