> The claim I objected to was "if a subset is not well defined, then the encompassing set can't be either".
see, that was your problem. you picked a statement out of context and then attacked it (with a poor example at that). see my response to 'dark' below for what you missed.
PS: i'd like to see your single valued function that well defines 'bug', you'll be richly rewarded by all software companies in existence.
Posted Feb 21, 2013 13:32 UTC (Thu) by nix (subscriber, #2304)
[Link]
PS: i'd like to see your single valued function that well defines 'bug', you'll be richly rewarded by all software companies in existence.
We have one! Since every single line surely contains either a bug or a design error (given enough change in specifications over time), every line contains a bug.
What we need is a way of identifying the bugs that matter now, or might matter soon. And that is harder.
The 3.8 kernel is out
Posted Feb 21, 2013 13:57 UTC (Thu) by PaXTeam (subscriber, #24616)
[Link]
Posted Feb 21, 2013 14:40 UTC (Thu) by hummassa (subscriber, #307)
[Link]
It does not work.
The 3.8 kernel is out
Posted Feb 21, 2013 16:01 UTC (Thu) by PaXTeam (subscriber, #24616)
[Link]
the url? works fine for me.
The 3.8 kernel is out
Posted Feb 21, 2013 17:54 UTC (Thu) by jimparis (subscriber, #38647)
[Link]
Well, the bug in line 3 is a clear design error. It should read "*/" and the comment should have ended there. The rest of the block comment was being used to show copyright, ownership, and changelog information, but this information is clearly incorrect (portions were written after 1992), outdated (Linus is not the sole author of that file), and incomplete (the changelog is a joke).
Now that we've gotten the pedantry out of the way, let's move on to trying to understand the point nix was attempting to make, rather than trying to disprove him with oddly specific code references.
The 3.8 kernel is out
Posted Feb 21, 2013 20:47 UTC (Thu) by PaXTeam (subscriber, #24616)
[Link]
> Well, the bug in line 3 is a clear design error.
saying so doesn't make it so. prove it. getting a fix upstream would be fine. then we can move on to the remaining ones, there's quite a few more lines left in linux (nothing to say of the rest of the code we have out there ;).
> It should read "*/" and the comment should have ended there.
wrong, that line of code would also be buggy, since it's part of 'every single line', so you'd be replacing buggy code with buggy code. reductio ad absurdum, if you believe in his nutty theory, you'd have eliminate all code in existence to properly fix any bug.
>[...]let's move on to trying to understand the point nix was attempting to make[...]
he doesn't have one.
The 3.8 kernel is out
Posted Feb 25, 2013 16:38 UTC (Mon) by nix (subscriber, #2304)
[Link]