Replies to message #10,500

🔎 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.

I've literally seen a Rust shill promoting the idea of adding dependent types to Rust. Spoiler: You do not want dependent types in a language...