Since it is well known fact that Linux is GPLv2 only, what's your intent in denying that?
Trolling?
Since your response has nothing to do with the post I was replying to, which stated that Linus had removed the clause from the GPL, what's your intent in posting that? Or are you just unable to comprehend English?
Actually no, the Linux kernel is stuck on the GNU GPL v2 because Linus made that decision on purpose. The default GNU license allows for relicencing under any later version, but Linux removed that clause on purpose.
[citation needed]
Later in the very email thread you linked to, he said:
"For example, in the GPLv3 discussions, I've seen more than one person claim that I've used a special magic version of the GPLv2 that doesn't have the "v2 or any later" clause. Again, those people don't have a _clue_ about what they are talking about."
Certainly the COPYING file at the top level of kernel.org's linux repository appears to include that clause. I didn't look in indvidual kernel tar files.
Do read up on what happens to girls who are fascinated by CS studies and work hard at them. I've posted links in the past.
A lack of women and minorities in a field means the talent pool isn't as large as it could be. I like working with good people. You're more likely to find good people if you have more candidates to choose among.
Then apply the proofs to each library or lower level as necessary for your particular application.
Yeah, good luck with that.
And if the dolphin is sentient, as seems to be the case, then what?
[citation needed]
And, by that, I mean actual science, not 'look at the pretty dolphin!' hippy crap.
In one hundred years we'll look back at the practice of eating meat with the same horror that we look upon slavery now.
In one hundred years, 99.999% of meat will come from vats.
Their intelligence, like all intelligence, is a complex matter, but basically, they are not as smart as their reputation suggests; although, stating that they are as smart (dumb) as chickens also overstates things.
But I hear they taste like chicken.
Come now, it should be obvious that just because it's theoretically possible to prove that code is correct does not necessarily imply that it's theoretically possible to write such code in the first place.
The bigger problem is that, even if your code is perfect, you're linking with libraries that have bugs, which interact with an operating system that has bugs, and run on a CPU that has bugs. Most of the major bugs in projects I've been involved with lately have come from third-party libraries, hardware or hardware drivers, not our code.
Yeah, most of the bugs that initially looked like compiler bugs turned out to be code bugs, or undefined behaviour. I don't remember which real compiler bugs we ran into, but they were real bugs that the vendor admitted to and eventually fixed.
From what I have seen, the most valuable thing in society in Star Trek's Federation is a position within Star Fleet.
But the lefties keep telling us that Star Trek is a post-scarcity society. So I'll just have my own Starship Enterprise, won't I? Who needs Star Fleet?
If they was then Sony and Microsoft wouldn't had opted to put tens of millions of their solutions in their consoles.
Intel probably aren't much interested in the tiny margins in the console market, particularly when they'd have to throw a lot of R&D into building a competitive GPU.
That doesn't make AMD any more competitive in PCs.
I wonder how many crashes/bugs in software are actually the result of bugs in the compiler?
I think I've seen two in twenty years. So they happen, but not often, and usually only when they run into very unusual code.
She doesn't dislike weapons; she's fine with 'the elite' and their guards having weapons. She dislikes the proles, like most left-wing politicians.
"Ninety percent of baseball is half mental." -- Yogi Berra