This post is talking about building your project with Nix, and only tangentially about dev environments à la devbox.