Live data from Hacker News

GitHub Codespaces

github.com

421–430 of 619 posts

Re: GitHub Codespaces

#421

Must be fun for @sytse to watch these GitHub announcements every year, where they consistently release the same thing GitLab rolled out two years prior. Codespaces -> https://docs.gitlab.com/ee/user/project/web_ide/ Insights -> https://docs.gitlab.com/ee/user/project/insights/ GH Actions -> https://docs.gitlab.com/ee/ci/ etc

Competition is good for customers. I don't care who had the feature first.

Re: GitHub Codespaces

#422

My hope and suspicion is this will have a significant impact on the number of improvements to open-source projects and particularly little things like js components. Just in the last few days, I've come across a few very minor bugs, with a one-line fix. In order to make that change, I currently need to fork the repo, download it, make the change (turn off my prettier or adapt to the repo's) then make the PR. I'm hopi…

Github has had a built-in editor for almost a decade, you just had to click the Edit button in the file: https://github.blog/2011-04-26-forking-with-the-edit-button/ (the button has since changed look to a Pencil icon)

This is not to disparage you, just to note that it may not have such a great effect.

Re: GitHub Codespaces

#423
post #37

I wonder if it's usable from an iPad. I haven't tried an online ide before, but if it works well it could be a great mobile development tool. It would be awesome if this could be setup as a backend for vim as well. Given how well Coc.vim integrates with VSCode tooling, I'm cautiously optimistic.

I've been self-hosting VS Code Server ( https://github.com/cdr/code-server ) and using it from Chrome on my iPad with a keyboard and mouse when I'm on the road.. If this is the same or similar approach, then it should work just fine. If the pricing for Codespaces is reasonable, I'm going to move to that for sure. It's been kind of a hassle to keep my self-hosted setup running properly.

Can you share what issues you've had?

Been looking at this.

Re: GitHub Codespaces

#424

My hope and suspicion is this will have a significant impact on the number of improvements to open-source projects and particularly little things like js components. Just in the last few days, I've come across a few very minor bugs, with a one-line fix. In order to make that change, I currently need to fork the repo, download it, make the change (turn off my prettier or adapt to the repo's) then make the PR. I'm hopi…

Github has had a built-in editor for almost a decade, you just had to click the Edit button in the file: https://github.blog/2011-04-26-forking-with-the-edit-button/ (the button has since changed look to a Pencil icon) This is not to disparage you, just to note that it may not have such a great effect.

GitHub's editor is useful for simple fixes, (formatting, markdown, typos,) but Codespaces seems extremely useful in building a reproducible dev environment for more complex packages / projects, including build tooling!

Re: GitHub Codespaces

#425
post #406

One of the hardest part getting anyone into Programming is actually setting up their Dev environment. ( You have many different platform, OS version or other compatibles issues... etc. And most student dont have clue about any of these ) You then have to teach them basic Git ( Github ) usage. Cloud9 could be great but hasn't gotten any traction apart from using it for some tutorials. This Codespaces brings the best o…

I think that setting up your development environment is often an ironically pleasant and linear (i.e. easy) task that is a matter of following some tutorials and that might make a beginner feel like they are accomplishing something. There were always plenty of tutorials for doing that as well, and I can imagine it is not least because developers like sharing their experience by writing them. Of course after some time it becomes a hassle and one just wants to have their setup the habitual way, but in the beginning for me at least it felt like accomplishing something.

Re: GitHub Codespaces

#426

My hope and suspicion is this will have a significant impact on the number of improvements to open-source projects and particularly little things like js components. Just in the last few days, I've come across a few very minor bugs, with a one-line fix. In order to make that change, I currently need to fork the repo, download it, make the change (turn off my prettier or adapt to the repo's) then make the PR. I'm hopi…

Hopefully the licensing requirements can be made simple as well!

I recently wanted to submit a 3 character change to golang that significantly speeds up strconv.ParseFloat(), but lost interest about 2-3 minutes into reading this: https://golang.org/doc/contribute.html

Re: GitHub Codespaces

#427
post #31

Ah, this really makes sense with all of the recent work they've done on VSCode's remote development capabilities. - An early announcement on their focus: https://code.visualstudio.com/blogs/2019/05/02/remote-develo... - Most (all?) of their recent VSCode updates include improvements to remote development. i.e.: https://code.visualstudio.com/updates/v1_44#_remote-developm... - Facebook partnering and becoming an early…

Their remote development capability is amazing and was quite a game changer for me. Having a nice ide where all of the plugins work on a remote server as if everything is local is so nice!

Emacs has had Tramp for ages, which does this. Yes, it's amazing. :)

Re: GitHub Codespaces

#428

My hope and suspicion is this will have a significant impact on the number of improvements to open-source projects and particularly little things like js components. Just in the last few days, I've come across a few very minor bugs, with a one-line fix. In order to make that change, I currently need to fork the repo, download it, make the change (turn off my prettier or adapt to the repo's) then make the PR. I'm hopi…

Github has had a built-in editor for almost a decade, you just had to click the Edit button in the file: https://github.blog/2011-04-26-forking-with-the-edit-button/ (the button has since changed look to a Pencil icon) This is not to disparage you, just to note that it may not have such a great effect.

There's a very big difference between editing a file in a textbox and editing a file in an IDE pre-configured to have all the correct dependencies, extensions, build&test scripts, intellisense, etc.

Re: GitHub Codespaces

#429
To me it is just something that grew by being distributed being merged into a monolithic entity. Merging and centralization seems reasonable at some point to solve big problems and iron out insignificant differences, and computing has always been swaying between distributed and centralized, but this is one scary centralization phase for me because it looks unprecedentedly global and because it concerns developers themselves. I don't like fiddling with development environments (I kind of liked it first, actually) and toolchains (especially the web ones) just as much as anyone else, but I am afraid this might be too much lock-in.

Re: GitHub Codespaces

#430
post #102
post #14

I can only imagine how the people at GitHub paid to work on Atom are feeling right now. Microsoft hasn't been kind to them!

Pretty sure they haven't been paid to work on Atom since the acquisition: https://github.com/atom/atom/graphs/contributors They killed Atom the day they took over - they haven't had the balls to say anything publicly, but just go look at the commit graphs in the Atom repos. Here's a summary: https://twitter.com/DuncanLock/status/1177747512905461760

Wow, I was okay with this until I saw the promise to keep Atom around.

That's...scummy.

Post reply on HN