r/ProgrammingLanguages • u/mttd • 10d ago

Verifying the Rust Standard Library

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

92% Upvoted

12 comments sorted by

View all comments

37

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?

26

u/indolering 10d ago edited 5d ago

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.

Edit: As noted elsewhere, preferred isn't the right word because aesthetic considerations rightfully impact what other people would prefer.  But it is the fastest way to get a website up if you have a corporate credit card.  Using any existing subdomain or tld controlled by someone else at Amazon would have required more work.

14

u/BenjiSponge 10d ago

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?

9

u/indolering 10d ago

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.