* https://github.com/features/codespaces * https://aws.amazon.com/cloud9/ * https://coder.com/ * https://okteto.com/

and I can't help but wonder whose using these? and what their experiences are like?

Personally, I have a very difficult time seeing how these tools are not extremely frustrating for the developers using them. Still, I keep seeing them pop up and wonder if there's something I'm fundamentally missing?