The system as a whole used C, C++, Python, and some Java/JS-family stuff in the infrastructure backends. You can find a long tail of other languages scattered throughout the organization, like Go, Rust, Lisps, and Swift, etc. I wrote a fare-cost-calculator in Mathematica awhile ago, as an example.
As for storage systems, no idea. The stuff I know was all custom, but I was deep in the stack most of the time and don't do much with databases.
C and C++ are used pretty extensively in the embedded world. For a lot of safety critical stuff though, typically a safer subset of those languages are used, such as MISRA C and MISRA C++, alongside static checkers and validated toolchains.
I don't know about the GNSS pipeline specifically but I used to work at Cruise, and most things at Cruise are written in C++ (although there's a smattering of Python for data/ML code that runs offboard).
We see what's coming, we see how things are unfolding in the rest of the world, so taking preventative action is only the smart and rational thing to do. You might not agree with it, but these are our culture and norms, and we've survived for over 1,400 years now.
Homosexual acts are prohibited in the Islamic faith. No one is forcing you to accept it, as such, you should leave those countries rule according to their faith. Islam has been preserved for over 1,400 years now, we don't need or want external meddling. We have already faced brutal colonization from the West in our history, and continue to do so.
It's not private behavior, that's the problem. Secondly, just because something is private (or not) does not mean it is acceptable. Some behavior are infective, and spread throughout society. We're seeing what's happening today right before our very eyes.
Secondly, who gave the right to non-Muslim countries to enforce what they think onto conservative Muslim societies? This is literally continued colonization.
Would you please stop posting religious flamebait to HN? You've been doing a lot of that lately, and we ban that sort of account. It's not what this site is for, and it destroys what it is for.
HN is not the place for any of this, so please stop.
Most human rights seem pretty universal to me and really not that hard to determine, but at the end, it's the country that hosts the company, isn't it?
That's a hand wavy answer that won't hold up to scrutiny. In some cultures, human sacrifice was permitted and seen as normal and acceptable. I think you would consider that a violation of human rights, but based on what?
I agree that companies should be forced to abide by the local laws and norms.
I think the keyword there is “some”. Extreme edge cases matter in things like mathematics, but they rarely make a compelling argument for fringe socioeconomic policies or viewpoints or enumerating human rights.
For my own sentiment, referenced as hand wavy, it is not that hard to let people do what they want with their own life as long as it does not hurt or infringe upon others’ rights. Is that really that difficult of a rubric to follow?
For the original question, I already answered that explicitly.
Let's look at that notion deeper. Are you able to claim that consenting adults engaging in sexual acts together in an uncontrolled manner (i.e. no marriage contract) is not hurting others? What about consenting teens with each other? I think you'll see that widespread STD's, abortions, teen pregnancies, single parent (especially single mother) families, and the emotion baggage that comes with these easy sexual relationships disagrees with you.
Secondly, what or who is your authority that people doing what they want as long as it doesn't hurt anyone is a valid generalization to make for all actions?
Logical fallacy, just because humans naturally gravitate towards something does not make it right. Humans gravitate toward feeling good (drugs), and we see how that turns out for example.
Which religious groups? As a Muslim, it's prohibited because God said so, there's really nothing more to be said. The Creator knows what is good and what is bad for us, and we are to Submit to His orders.
In many times, the Wisdom behind such orders is made apparent to us. As we see here (and historically, as per the accounts in the Quran about Prophet Lot Peace be upon him), these groups will not stop at just what's in the bedroom. Today we see indoctrination and outright hostility toward anyone who disagrees with them, causing societal instability.
The Pact of Umar would like to have a word with you. The Copts exist today and their rights preserved because of the Muslims protecting them. "Slaughtering" people indiscriminately like you're implying is against Islam.
So ignorant to call them "tax base", when in actuality, Zakat that Muslims pay is much much more than the Jizya that Dhimmis pay.
The Copts exist today because of the Muslims, this is a fact, even if you try to twist the meaning of what I wrote. They are to be treated well, and with dignity, and their rights preserved.
Secondly, I don't see what makes them "second class citizens", not to mention that even wikipedia acknowledges discrepancies in the points they mention.
As a matter of fact, several Jewish and Christian historians and figures clearly expressed that they would rather live under a proper Islamic rule as it offers them better quality of life compared to secular modernity: https://www.youtube.com/watch?v=Bc6yXYR01Vg&t=6s
From wikipedia, while not being a reliable source in general, I already know that Arabs came from the North from other sources:
> Arabs are first mentioned in Biblical and Assyrian texts of the ninth to fifth centuries BC where they appear as inhabiting part of Syria. Proto-Arabs are presumed to have originated from what is now modern-day northern Arabia, Jordan and southern Syria. Over time, Arabs spread further out sometimes replacing previously spoken Semitic languages.
