Replies to message #1,967

🔎 If you see an alert for analytics.usips.org, this is a self-hosted system I am running as a test. It is GDPR compliant and collects no invasive information.

We're not talking about formal verification, this is already twice removed from the initial topic. Thank you for finally admitting my point.

I'm just curious (and I've been enjoying the back and forth), but how long does specifying a system in its entirety like this take? I can...