Develop Sage inside GitHub Codespaces and/or other "cloud" options?

[Jing Guo]

Hello everyone,

Last year, I developed Sage inside Linux VM (Debian, to be specific) on my old Macbook Pro, so the compiling time was not really good, or was not what it could have been.

Recently, I learn that there exist some services like GitHub's Codespaces, which seems to provide develop-and-build environments on their own machines(?). I was wondering that if anyone have had some experience with these services. If so, do you have any recommendations for alternatives other than the GitHub one? Or would you say that the GitHub one is good enough? (Sage documentation seems to suggest GitPod)

Thank you for your time.

Jing

[Dima Pasechnik]

Have you tried GitPod?

>
> Thank you for your time.
>
> Jing
>

> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/686c07aa-a4d5-4f50-88cf-0e30f0e95278n%40googlegroups.com.

[Jing Guo]

I have not. I am exploring different options and weighing the pros-and-cons.

[Dima Pasechnik]

On Sat, Jun 3, 2023 at 1:19 PM Jing Guo <dev....@gmail.com> wrote:
>
> I have not. I am exploring different options and weighing the pros-and-cons.

Another option is cocalc.com - although you'd rather pay for
subscription, to allow development environments.
Apart from this, I am only aware of GitPod and Codespaces.
Needless to say, you can also set up a sufficently big VM on a cloud
service and use it, but most probably you'd need to pay,
as Sage is resource-hungry.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/60475ea1-a782-4c54-a3dc-a8d1dacc8b53n%40googlegroups.com.

[Jing Guo]

Thank you, Dima. I just learned that CoCalc also provides dev environment setup...

I guess I will try GitPod first then.

[William Stein]

On Sat, Jun 3, 2023 at 7:13 AM Jing Guo <dev....@gmail.com> wrote:

Thank you, Dima. I just learned that CoCalc also provides dev environment setup...

I can also give you a significant free upgrade on cocalc if you want to use it for sage dev. 

To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/6d2df1b1-8888-4820-8817-12a37327f6d7n%40googlegroups.com.

--

-- William Stein

[Tobias Diez]

I used github codespaces for sage development for some until since I only had a weak laptop with me. It worked quite well, actually better than gitpod (mainly due to better vscode integration). But you can easily try it out yourself. Just go to https://github.com/codespaces/new?hide_repo_select=true&ref=develop&repo=597660615 (or use Code > Codespaces from https://github.com/sagemath/sage if the direct link is not working) and create a codespace.  You may need to select the 4 core machine type, otherwise leave the defaults (develop branch and conda devcontainer). We provide prebuilds, so it should only take a min or so until you have a dev environment with fully compiled sage.

[Jing Guo]

Thank you for the info, Tobias. Currently I more or less decided to develop Sage on CoCalc. I will check out some of the things you mentioned though.