Lightwave comments on Rationality quotes: April 2010 - Less Wrong

5 Post author: wnoise 01 April 2010 08:41PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (307)

You are viewing a single comment's thread. Show more comments above.

Comment author: Lightwave 03 April 2010 04:03:30PM *  0 points [-]

Counterexample: a complex computer program designed and written from scratch.

Comment author: RichardKennaway 03 April 2010 07:43:43PM 11 points [-]

I've written some of those. And every time, I test everything I write as I go, so that at every stage from the word go I have a working program. The big bang method, of writing everything first, then running it, never works.

Comment author: sketerpot 05 April 2010 09:00:17PM 1 point [-]

The "big bang" sometimes happens to me when I write in Haskell. After I fix all the compiler errors, of course. I just wish there were a language with a type system that can detect almost as many errors as Haskell's without having quite such a restrictive, bondage-fetish feel to it.

But yeah, in general, only trivial programs work the first time you run them. That's a good definition of trivial, actually.

Comment author: pjeby 03 April 2010 04:32:45PM 6 points [-]

Counterexample: a complex computer program designed and written from scratch.

...and that worked the very first time? How often does that happen?

The quote is a rule of thumb and an admonition to rational humility, not a law of the universe.

Comment author: Lightwave 04 April 2010 08:26:55AM 2 points [-]

Well "never works and cannot be made to work" does sound a bit strong to me.

Comment author: NMJablonski 03 April 2010 04:40:29PM 2 points [-]

I agree it's probably not a law of the universe, as I cannot rule out possible minds that could falsify it. However, I cannot from within my mind (human capabilities) see a case where a complex system could work before each of its parts had been made to work.