FYI, the Gitpod blog has some thoughts on this comparison: https://www.gitpod.io/blog/github-codespaces/