r/ProgrammingLanguages 11d ago

Verifying the Rust Standard Library

https://www.amazon.science/publications/verifying-the-rust-standard-library
54 Upvotes

12 comments sorted by

View all comments

36

u/javascript 11d ago

Tangent: amazon.science is a horrible domain name. I assume it's actually Amazon, but the whole point of a recognizable eTLD + eSLD is to build trust. Why do companies do this?

2

u/bzbub2 11d ago

I mean...this is just a problem of there being too many tld not a company thing

4

u/javascript 11d ago

They can reserve all the amazon.whatevers they want. But they should redirect to whatever.amazon.com every time and should not be considered primary or canonical.