4 ms·

> NixOS differs from something like Ansible in that it’s inherently declarative, through and through... The following explanation in the blogpost suggests that

> NixOS differs from something like Ansible in that it’s inherently declarative, through and through... The following explanation in the blogpost suggests that it's not the 'declarative' nature, so much as the application.. I liked the terms "convergent" and "congruent" that I first saw in https://flyingcircus.io/blog/thoughts-on-systems-management-methods/ https://flyingcircus.io/blog/thoughts-on-systems-management-... "convergent" is "attempts to reach a target state" (like a Terraform apply), whereas "congruent" is "forced to target state" (like destroying/launching a VM).

nurple 3y ago
Yeah, agreed that declarative is probably the wrong word, nix is Turing complete after all. Also, thanks for the interesting article! It coalesces some concepts that have been tenuously anchored in my mind for awhile. The lack of a story around convergent solutions in the IaC tooling is one of my biggest frustrations and is a primary driver behind my unreasonable love for k8s. Eventual consistency in platform/infra automation is a superpower.