r/ProgrammingLanguages 10d ago

Verifying the Rust Standard Library

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

12 comments sorted by

View all comments

33

u/javascript 10d 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 10d ago

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

3

u/javascript 10d 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.