That’s true, but all of their problem with docker are that it’s Linux

docker is a layer to run on top of Linux’s KVM

My understanding is that this is only true for docker desktop, which there’s not really any reason to use on a server.

Sure, since containers use the host’s kernel, any Linux containers do need to either have Linux as the host or run a VM (as docker desktop does by default), but that’s not particularly unique to docker

Is it really vendor lock-in if you can fork it at your whim?

Try rereading the whole tweet, it’s not very long. It’s specifically saying that they plan to “correct” the dataset using Grok, then retrain with that dataset.

It would be way too expensive to go through it by hand