GitHub’s engineering team has moved to Codespaces • Hacker News Board

Re: GitHub’s engineering team has moved to Codespaces

#31

Post by hackthememes » Wed, Aug 11, 2021, 4:21 PM UTC

So you're telling me that the next GitHub outage could take out my dev environment and give me an afternoon off? Time to convince management that we need to switch to Codespaces!

Re: GitHub’s engineering team has moved to Codespaces

#32

Post by eru » Wed, Aug 11, 2021, 4:21 PM UTC

fridif wrote: post #8

blueplanet200 wrote: post #3

I would quit so fast if my company forced me to use a web IDE.

I write all my code on my personal laptop and then retype it into my company's IDE

I wonder if that's against your employment contract.

Re: GitHub’s engineering team has moved to Codespaces

#33

Post by rubyist5eva » Wed, Aug 11, 2021, 4:21 PM UTC

Jetbrains Project support for this would be fantastic.

Re: GitHub’s engineering team has moved to Codespaces

#34

Post by eru » Wed, Aug 11, 2021, 4:22 PM UTC

verdverm wrote: post #28

encryptluks2 wrote: post #16

Earlier quoted context omitted.

Isn't this option already available with CI/CD or Vim?

You can also use VS Code on a remote VM directory. Our devs do this.

I'm doing that as well. Works fairly well.

(Much better than eg PyCharm's attempt at remote development.)

Re: GitHub’s engineering team has moved to Codespaces

#35

Post by flurie » Wed, Aug 11, 2021, 4:22 PM UTC

I was curious about the cost. The pricing and compute resources just about correspond to an Azure A series instances, but the ram corresponds better to the v2 series, which is cheaper than v1. I wonder if they're upcharging for v2 machines.

Re: GitHub’s engineering team has moved to Codespaces

#36

Post by stuff4ben » Wed, Aug 11, 2021, 4:22 PM UTC

fridif wrote: post #8

blueplanet200 wrote: post #3

I would quit so fast if my company forced me to use a web IDE.

I write all my code on my personal laptop and then retype it into my company's IDE

That seems unnecessarily complex and time-consuming. Unless your company's work machine is locked down and you can't be productive on it...

Re: GitHub’s engineering team has moved to Codespaces

#37

Post by WC3w6pXxgGd » Wed, Aug 11, 2021, 4:23 PM UTC

thibran wrote: post #14

Maybe they should have used Nix to get a dev environment that is identical for everyone... but that would be too easy. The future is long term probably in the web, I'm just not sure we are there yet.

How would Nix solve that?

Re: GitHub’s engineering team has moved to Codespaces

#38

Post by kyrra » Wed, Aug 11, 2021, 4:24 PM UTC

blueplanet200 wrote: post #3

I would quit so fast if my company forced me to use a web IDE.

(googler, opinions are my own).

Google allows for normal desktop IDEs, plus having a web based one. The funny thing is, many people move to the web based one because it is so good.

But Google is also unique in how piper/citc[0] (our source control) works. It's effectively designed for web/cloud based style development, so the workflow for web based dev and desktop dev are effectively the same.

So web dev can work, but I don't think the existing tech that most of the software industry has is built well to support it.

[0] https://cacm.acm.org/magazines/2016/7/204032-why-google-stor...

Re: GitHub’s engineering team has moved to Codespaces

#39

Post by thomascgalvin » Wed, Aug 11, 2021, 4:24 PM UTC

pegler wrote: post #19

blueplanet200 wrote: post #3

I would quit so fast if my company forced me to use a web IDE.

I am wary of requiring an internet connection in order to develop, but there seem to be more and more advantages to using something like Codespaces. The article describes using pretty much any IDE, so they are just offloading the setup and running of the development environment to the cloud while letting you run your preferred IDE locally.

An internet connection is already required for dependency management and stack overflow. I already develop with an always-on connection.

Re: GitHub’s engineering team has moved to Codespaces

#40

Post by ionwake » Wed, Aug 11, 2021, 4:24 PM UTC

Just a couple of years ago some kid gained access to every repo on github.

Now githubs code is going to be developed on an online platform, which works by sharing code others have uploaded.

I have a feeling that this is not a good recipe.