Containers

redpill me on kubernetes and docker

what's the difference between containers (and their orchestrators) and old school VMs/hypervisors?

I don't get the point of VMs and containers. Free software + dependent types should give even better protection without any of the performance or memory drawbacks.