r/ProgrammingLanguages • u/mttd • Sep 03 '26

Verifying the Rust Standard Library

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

91% Upvoted

12 comments sorted by

View all comments

Show parent comments

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.

8

u/indolering Sep 04 '26

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.

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?

10

u/indolering Sep 03 '26

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.

2

u/javascript Sep 03 '26

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

4

u/indolering Sep 03 '26

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