There are actually two Sage servers running at sagenb.kaist.ac.kr: a “Groundhog Day” server and a “Memorial Day” server. Both run as virtual machines under VirtualBox on a 8-core Xeon server with 8 gigabytes of RAM.
This server is named after the 1993 movie “Groundhog Day”, in which the main character finds himself reliving the same day — Groundhog Day, February 2nd — over and over again. No one else in the town of Punxsutawney realizes that the day is repeating itself.
The Groundhog Day server gets reset every day to the exact same state. No user data of any kind is saved; everything is erased. Just like the people of Punxsutawney, this server doesn’t know that it is repeating the same day over and over again.
This server is intended for short term experimentation with Sage; you can easily create a user account and try out some commands.
The Groundhog Day server gets reset every day at 6:00 a.m. Korea time. Here’s what time it is now in Korea:
You may want to know when it is 6:00 a.m. in Korea, what time is it where I am?. (Thanks to timeanddate.com for these services.) I may also shut the server down for a while if someone does something stupid.
If you are very serious about security, or just wondering why your browser complains about the SSL certificate, the correct certificate for the Groundhog Day server has serial number 2F:73:DA:DE (796121822 if your browser converts to decimal), and MD5 fingerprint 1E 08 1F 40 75 2C AF C8 6A F4 52 0D 37 B2 55 AF. If you see those values, you can feel safe about telling your browser to accept the certificate.
The Groundhog Day server gets reset each day; it doesn’t remember what happened yesterday. The holiday which seems most directly opposite of not remembering is Memorial Day, a day dedicated to remembering those who have died in military service.
The Memorial Day server should always be running, and I think of it as more reliable than the Groundhog Day server.
If you would like a user account, just email me. Put “KAIST Sage server” somewhere in the subject line, and tell me what username you would like. My email address is dra…@kaist.edu.
Again, if you are very serious about security, or just wondering why your browser complains about the SSL certificate, the correct certificate for the Memorial Day server has serial number 1B:19:98:2E (454662190 if your browser converts to decimal), and MD5 fingerprint 43 C9 73 0C E4 5D 4B 74 1B E4 11 22 5D C2 68 B1. If you see those values, you can feel safe about telling your browser to accept the certificate.