Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ypp should rest on Shabbos #11

Open
draisy opened this issue Mar 22, 2019 · 5 comments
Open

ypp should rest on Shabbos #11

draisy opened this issue Mar 22, 2019 · 5 comments

Comments

@draisy
Copy link

draisy commented Mar 22, 2019

The compiler should chalilah not compile on Shabbos Kodesh or Yom Tov. Consider inserting a datetime check on the user's timezone before processing output and possibly adding a shabbos_goy flag.

@schorrm
Copy link
Owner

schorrm commented Mar 24, 2019

I don't even have a hava minah that someone would compile on Shabbos, chas vesholom.

@medic17
Copy link

medic17 commented Apr 17, 2019

I'm not maskim. I could use soft version of a shabbes clock or start compilation before shkia.

@schorrm
Copy link
Owner

schorrm commented Apr 18, 2019

On a cronjob, etc, I'm mekabel. Shkoyach, and a brocha for choished beksheirim.

@yoelhalb
Copy link

How about it should automatically insert in all programs that it compiles (as part of the generated machine code) a check that it is not Shobbas?
We can even have code that should check if it is running by a scheduler in which case it should allow.
But then we will have an issue with the timezones, but this can be configured based on the current local or use a GPS, but how about code in the cloud? On the Space Shuttle?
But we also need to handle the different Shitos on the Zman of Erev and Motza, unless we use the current GPS coordinates to calculate if 3 stars would be seen from this location.

@schorrm
Copy link
Owner

schorrm commented Jul 21, 2019

Efsher altz pikuach nefesh? I wouldn't want to be choished beksheirim.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

4 participants