Replies to message #6,748
-
🔎 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.
Programming thread
I was really trying to get into it at some point (feels almost like a C compiler coupled to a highly automated proof assistant and that...