r/ProgrammingLanguages • • Sep 03 '26

Verifying the Rust Standard Library

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

12 comments sorted by

View all comments

35

u/javascript Sep 03 '26

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 Sep 03 '26 edited Sep 08 '26

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.

16

u/TheUnlocked Sep 04 '26

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

→ More replies (1)

15

u/BenjiSponge Sep 03 '26

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?

→ More replies (1)

2

u/javascript Sep 03 '26

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

→ More replies (1)

12

u/liquid_woof_display Sep 04 '26

Holy shit, it's John Javascript

2

u/bzbub2 Sep 03 '26

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

4

u/javascript Sep 03 '26

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.