Maybe they should have used Nix to get a dev environment that is identical for everyone... but that would be too easy. The future is long term probably in the web, I'm just not sure we are there yet.
The Visual Studio Code server isn't in Nixpkgs/NixOS yet, but there's an out-of-tree effort being maintained here for now: https://github.com/msteen/nixos-vscode-server