Note: I'm automatically notified via email if us.metamath.org ever goes down for more than 5 minutes. That said, I might miss the alert, or perhaps the monitoring system might fail to notify me, so if it's down for a while it's fine to let me know.
Hopefully us.metamath.org going down will be a rare occurrence: * The us.metamath.org site is hosted by Linode, who generally have a good reputation, so the virtual machine should generally keep running. * The web server (nginx) is generally pretty reliable, and is auto-restarted if it crashes. * The system automatically installs security updates, which will hopefully update the system faster than attackers exploit known vulnerabilities. * I've taken some hardening steps to make the system harder to take down. * We're simply serving static HTML pages and many server functions are intentionally disabled, which hardens it further. Nothing is unbreakable, but I'm trying to increase the likelihood that the system will just keep running. --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/C8DA8C7B-201F-4087-ABA4-9BAACC53F346%40dwheeler.com.
