|
"Ask a programmer to review 10 lines of code, he'll find 10 issues. Ask him to do 500 lines and he'll say it looks good."
The quote is not mine but is good!
|
|
|
|
|
It's like someone took a transcript of a couple arguing at IKEA and made random edits until it compiled without errors.
...having the discussion about the astronomical probability that You do not exist[^] in mind, I'd like to see someone calculating how long it would probably take to actually do the above
If the brain were so simple we could understand it, we would be so simple we couldn't. — Lyall Watson
|
|
|
|
|
About twenty minutes if you look at some of the code in QA...
Bad command or file name. Bad, bad command! Sit! Stay! Staaaay...
|
|
|
|
|
I think it will take more effort to convert a transcript of a quarrel into compilable code than fabricating an average QA-code
If the brain were so simple we could understand it, we would be so simple we couldn't. — Lyall Watson
|
|
|
|
|
Nah - not for VB.
Bad command or file name. Bad, bad command! Sit! Stay! Staaaay...
|
|
|
|
|
especially with VB - it already looks like a quarrel by itself
If You.Say(Me Is Nothing) OrElse Me.GetType() IsNot You.GetType() Then End
If the brain were so simple we could understand it, we would be so simple we couldn't. — Lyall Watson
|
|
|
|
|
How do you pass the message to a newbie? With kindness. If the "newbie" has potential, then being an a**hole about it, serves no purpose.
The comic strip promotes assholes, mentoring newbies.
|
|
|
|
|
|
Google is king when it comes to violating it's own motto "Don't be evil"
“Everything is simple when you take your time to analyze it.”
|
|
|
|
|
Welcome. When did you finally come to this realization?
|
|
|
|
|
Very recently
“Everything is simple when you take your time to analyze it.”
|
|
|
|
|
Evil serves a very important role. Without evil, we wouldn't know what good is. Thus, evil is simply a "lesser good". Therefore, Google is good. QED.
Marc
|
|
|
|
|
True, good and evil are like best buddies, non can exist without the other. Is it even possible to run a success business or company without being slightly evil?
“Everything is simple when you take your time to analyze it.”
|
|
|
|
|
BupeChombaDerrick wrote: Is it even possible to run a success business or company without being slightly evil? Of course it is.
I wanna be a eunuchs developer! Pass me a bread knife!
|
|
|
|
|
...and he goes on to prove that black is white (and dies at the zebra crossing).
TTFN - Kent
|
|
|
|
|
Inverted perceptive, black can be white, good can be bad and vice versa.
“Everything is simple when you take your time to analyze it.”
|
|
|
|
|
Minus 20 points for missing the reference.
I wanna be a eunuchs developer! Pass me a bread knife!
|
|
|
|
|
Evil deserves no role. If we did not have evil then we would have no problem not knowing what good is. We would be happy as ever never asking the question.
|
|
|
|
|
Good lord, I never realized you work for Obama...
Will Rogers never met me.
|
|
|
|
|
I thought Godel proved that a system can't prove its own consistency unless it is inconsistent. So, Google is bad
|
|
|
|
|
Kenneth Haugland wrote: I thought Godel proved that a system can't prove its own consistency unless it is inconsistent.
Not even close.
Consistency: X is provable, therefore X is true.
Completeness: X is true, therefore X is provable.
The most important of the two aspects is consistency, because if you're able to prove something that's actually false, there's no point to proving anything.
The layman's version of Godel's Incompleteness Theorem claims that in any closed system there are statements that are true and unprovable, because proving them would violate consistency.
|
|
|
|
|
Argue with this[^] guy instead:
Stated more colloquially, any formal system that is interesting enough to formulate its own consistency can prove its own consistency iff it is inconsistent.¨
|
|
|
|
|
Therefore, proving that the formal system isn't consistent in the first place, despite it being able to prove that it is.
But the real problem is that neither "Google" nor "evil" have been formally defined. So there's no formal system where Google can claim /or/ prove to be either not-"evil" or "evil".
|
|
|
|
|
It wasn't meant to be taken literally in the first place, but saying that Google is good or evil, is all in the matter of the beholder. What cost benefit should you lay as evidence of it?
My general perception is that Godel's theorems is valid for systems with a finite axiom, or a system you try to define by some limited number of axioms. This has all to do with the historical development in mathematics, going back to Euclid's axioms of lines etc. Many people before Godel suspected it was not possible to do this, among others Gauss, Riemann etc. They early found the parallel postulate difficult to deal with, or should I say completely wrong for 3D.
So to use Godel's proof of anything in this world, you first have to establish the formal system, axioms, which can me enumerated, and then come to a conclusion. I'm not so sure it isn't true what I said about the inconsistency of the statement, because I don't think you can prove that it cant be formulated into a mathematical system of axioms, can you?
|
|
|
|
|
Not even close."
Bzzt! Wrong! Gödel's second incompleteness theorem states that a consistent system cannot prove its own consistency. And of course inconsistent systems can prove anything, true or false, including their consistency.
Consistency: X is provable, therefore X is true.
Completeness: X is true, therefore X is provable.
This is an odd and confusing way to state these, as it isn't clear that they are universally qualified.
Better is:
Consistency: For all X, if X is provable then X is true.
Completeness: For all X, if X is true then X is provable.
The layman's version of Godel's Incompleteness Theorem claims that in any closed system there are statements that are true and unprovable, because proving them would violate consistency.
That "because" omits a lot. Gödel's proof of his (first) Incompleteness Theorem shows that, given a consistent formal axiomatic system (capable of expressing elementary arithmetic), it is possible to construct a true statement (the "Gödel sentence" for that system) that cannot be proved. The Gödel sentence G is an encoding of the statement "G cannot be proved within the theory T". If G could be proved, that would be a contradiction, making the system inconsistent. And since it cannot be proved, it's true.
modified 20-Apr-15 22:47pm.
|
|
|
|