Recently I got into NixOS and started setting it up -- until I found Guix System. I started feeling like Nix is more of a DSL, while Guix seems more like a truly programmable system. But I still can’t decide between them. What do you find most attractive about Guix System compared to NixOS?