Yes I use virtualisation quite a lot as I need to work also on Ubuntu and Windows Servers for my labs. I am happy with VirtualBox and it is sad that it will take time for them to support it.

Also the fact that Docker is not supporting it was problematic. If either of them was supporting it, rest assured I would have dived in.

I am happy with my decision to get a proper PC. I am sure that the next 16in Mac will be perfect if they increase the memory to up to 64 (although 32 is far more likely) and improve the "disk speed" to around 6GB/s.

I am working with CUDA as well, so I am looking to see how the ARM acquisition by NVIDIA will play out.