We put developer machines in Kubernetes. And devs ssh in and code remotely. The VS Code remote ssh plugin makes this really painless. And the devs get the benefit of the kubernetes dns to access our internal system they need to program against.

To add a developer machine, we just push a yaml file to a git repo, which automatically spins up the virtual dev machine.