Verifying the Rust Standard Library

[u/mttd]

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

[u/javascript]

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?

[u/indolering → u/javascript]

Control!  Their lab can do whatever the fuck they want with their own domain without it impacting backend infrastructure.  Subdomains also have impacts on client side security models.  So a whole new domain is preferred.

[u/BenjiSponge → u/indolering]

I mean... it's Amazon. Don't they trust their own resolvers/load balancers to handle science.amazon.com well enough? Or amazon.com/science?

[u/indolering → u/BenjiSponge]

Of course, because it has tons of safeguards and layers of beuracracy to prevent issues.

It's way less of a headache to just buy a new domain.  And you don't have to worry about malicious code creeping into a sub.amazon.com domain.

[u/javascript → u/indolering]

Have to agree to disagree that a new domain is preferred.

[u/indolering → u/javascript]

Preferred might be to strong a word.  But it's definitely easier!

[u/TheUnlocked → u/indolering]

They have the .amazon TLD though, so science.amazon feels like it would've been a better choice.

[u/indolering → u/TheUnlocked]

I don't disagree! That would have been a more aesthetically pleasing choice. But I would guess that the reason they didn't choose it was because someone controls the .amazon registrations and amazon.science took 10 minutes to register.

[u/bzbub2 → u/javascript]

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

[u/javascript → u/bzbub2]

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.

[u/liquid_woof_display → u/javascript]

Holy shit, it's John Javascript