Live data from Hacker News

GitHub’s engineering team has moved to Codespaces

github.blog

451–460 of 704 posts

Re: GitHub’s engineering team has moved to Codespaces

#451

Earlier quoted context omitted.

There are different risks, but there is not necessarily more risk. Does Codespaces have lower or higher than the availability risks of your current environment?

My current environment is my laptop, which I would also need to access codespaces. So by extension, codespaces is more risky than my current environment.

I would frame it as, your current dev env is your specific laptop, and codespaces requires any laptop.

It's certainly reasonable to think that a SaaS can approach availability time of a single piece of hardware.

Furthermore, it appears that engineering github/github to work in codespaces helped their local provisioning as well.

Re: GitHub’s engineering team has moved to Codespaces

#452

Earlier quoted context omitted.

The fact that they will be able to do it, is problem, we should not put ourselves in position to rely on their future morality. Github at this point needs to be open source, atleast then they would be an easier way out.

Github does not need to be open source. Open source needs to pull its head out of its collective ass and not hand over its entire workflow to private companies. Github may be the single greatest execution of embrace/extend/extinguish in computing history.

Where are we seeing the extend or extinguish with GitHub? It's been 3.5 years and GitHub is just as compatible with git as it has ever been.

Re: GitHub’s engineering team has moved to Codespaces

#453

Earlier quoted context omitted.

Lol, like Microsoft paid the billions to give it out now for free. Besides, do you want your index funds to do well? Because that's exactly where the proceeds go to.

More than that, github was floundering economically, and Microsoft bought them to ensure continuity, because Microsoft was the single largest user. Don't want to rely on Microsoft for GitHub? The underlying 'git' is open source. Just deal with your git repos raw. No one is forcing you to use github.

Github is not the only git web frontend. I worked with Gerrit (fully open source) for a while and really enjoyed it.

Re: GitHub’s engineering team has moved to Codespaces

#454

Earlier quoted context omitted.

The fact that they will be able to do it, is problem, we should not put ourselves in position to rely on their future morality. Github at this point needs to be open source, atleast then they would be an easier way out.

Github does not need to be open source. Open source needs to pull its head out of its collective ass and not hand over its entire workflow to private companies. Github may be the single greatest execution of embrace/extend/extinguish in computing history.

> Github may be the single greatest execution of embrace/extend/extinguish in computing history.

Oh ffs are you even aware that MS didn't originally build GitHub?

And your comment is super out of touch with what MS was doing in the 90s and early 00s. GitHub has plenty of competition, Gitlab for example is a fantastic platform, overall more powerful than GitHub as well. GH's strength is how much better it is for open source projects and if MS messes with that they'll be killing their golden goose.

There is no all-powerful benevolent deity you can hand your code to and say "here, take care of this for me, for free, for all eternity". At some point private companies will have to get involved (or would you rather have your government get involved instead? Because I don't want your government hosting my code). So you want their incentives to be nicely aligned.

Re: GitHub’s engineering team has moved to Codespaces

#455

Earlier quoted context omitted.

Github does not need to be open source. Open source needs to pull its head out of its collective ass and not hand over its entire workflow to private companies. Github may be the single greatest execution of embrace/extend/extinguish in computing history.

Where are we seeing the extend or extinguish with GitHub? It's been 3.5 years and GitHub is just as compatible with git as it has ever been.

That's the trick, the git is open, but the metadata is what matters. Issues, PRs, integrations into various code auditing services. That's the whole "extend" bit.

Re: GitHub’s engineering team has moved to Codespaces

#456

Earlier quoted context omitted.

The fact that they will be able to do it, is problem, we should not put ourselves in position to rely on their future morality. Github at this point needs to be open source, atleast then they would be an easier way out.

Github does not need to be open source. Open source needs to pull its head out of its collective ass and not hand over its entire workflow to private companies. Github may be the single greatest execution of embrace/extend/extinguish in computing history.

Technically speaking, Microsoft is a public company. A private company implies not open to investment on a public market.

Re: GitHub’s engineering team has moved to Codespaces

#457

Earlier quoted context omitted.

I agree. But as a rule of thumb, if someone gives you the service for free, they have no choice but to collect value from you by other means. Whereas when you pay money for the service, the business does have a choice not to sell your data. Either way, I guess we need to read the terms to be sure.

If a company has a certain type of investors or shareholders, they may have no choice but to collect value from you all means possible regardless of how much value they are already collecting.

One very underrated (or overrated depending on your pessimism) way to deliver value to customers is by offering privacy as one of the products you deliver. The issue is that privacy is hard to prove and so most claims of privacy are accepted at face value and many proclaimed privacy minded services are very much the opposite under the hood.

This, I think, is a place where we need some regulation to codify some different forms of privacy and give the government a big stick to bop companies over the head when they violate those definitions. We could potentially manage the definitions as an industry group - but we'd need the government to get the big stick.

Re: GitHub’s engineering team has moved to Codespaces

#458
post #47

Earlier quoted context omitted.

GitHub isn't forcing anybody to use a web IDE. The most broadly used access interface is VSCode. Then there are heretics like me who choose to ssh in so we can use Vim. This is described in the article.

How is the latency btw? I SSH to a beefy box that sits under my table and sometimes I hate the latency of running emacsclient over X. But I am not using VIM and I don't use terminal emacs because of clipboard integration betweeen remote emacs and local desktop. I know there are hacks to make clipboard sync between local and remote emacs sessions without running emacs over X11 forwarding, but I always found those to b…

I’ve always thought that remoting to edit text files using X or RDP is doing at the wrong level of abstraction.

VSCode editing over SSH works really well in contrast. I think Sublime has a plugin that ain’t bad. Emacs (TRAMP) is probably the worse of the three :/.

Terminal Vim or Emacs over Mosh is a pretty good option too.

Re: GitHub’s engineering team has moved to Codespaces

#459
post #385
post #358

Serious question: if I were to use this, would Microsoft collect analytics on me (code written, keystrokes, mouse movements, sleep/work schedule, productivity metrics, etc) and monetize that data by using it to build some AI product like Copilot, or build a productivity dashboard so managers can fire people for not being productive enough (like Xsolla did), use it to serve me ads, or do some stupid/irresponsible/unet…

If they do, the competition is just a click away: https://www.gitpod.io/

Yes for all of us but all corporate clients will flock to github to benefit from those surveillance capabilities.

Re: GitHub’s engineering team has moved to Codespaces

#460
post #437
post #137

Earlier quoted context omitted.

I assume a huge part of why GitHub is okay with this is that VS Code / Codespaces and Azure are both products from the same company. :) I do think there's a serious autonomy question here, and I think companies do actually care a lot about maintaining their autonomy from other companies, and in many cases the incentives align a lot. The whole stack here seems like something that you can run internally / self-host: -…

> VS Code, whose remoting stuff is not FOSS Do you have more details on this? I thought VC Code just uses the language server protocol for remote editing, which supposed to be an open standard. What stops say neovim adding full LSP support? edit:formatting

LSP is definitely an open standard and you can make that work just fine. What I mean is that the components of VS Code itself that do remote execution are not open source, so if it's VS Code that you're running, you're a bit at MS's mercy for how you make it work (my current issue is that it downloads a VS Code remote agent into the container, and that download doesn't work right inside our corporate network, and there's no way to modify that).

If you're not running VS Code, then this isn't relevant to you and I'd imagine you can get a good experience via Neovim using LSP + netrw.

Post reply on HN