Am 03.11.2014 um 23:03 schrieb Richard Fateman:
On Monday, November 3, 2014 1:26:18 AM UTC-8, Joachim Durchholz wrote:
Am 03.11.2014 um 03:56 schrieb Richard Fateman:
There is a difference in the size of the user base and there is a
difference
in the sophistication of the code. The Cathedral and the Bazaar essay
doesn't work if bugs do not become shallow with enough eyes.
You can dig a ditch with many shovellers. It is implausible to do a
heart transplant that way.
You can get around that with automatic validation. The better the
validation the better the results.
I don't know what you mean by automatic validation.
Unit testing.
Possibly correctness proofs, though I wouldn't want to try that for
Python (or any other current mainstream language).
Also, I doubt that closed source is much better at this. Whether it's
open or closed source, you need some really bright people on the team,
and either way, it's not easy to attract or keep them. Closed source can
offer bundles of money, open source can choose among the whole world, so
it's not even clear which approach will give you more bright people.
Really? You think that it is unclear? Here's the choice for a
programmer
1. You can take a job for a high salary. Use it to support yourself and your
family.
2. You can take a job for no money. Your work will be given away.
If you need money, you can deliver pizza or whatever.
Obviously, Red Hat does not exist in your reality.
Nor the people who are doing SymPy, for example.
Or... why are you here? We're not paying you after all. Still you
obviously prefer to talk here instead of making money elsewhere.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sympy.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sympy/5458963A.2030901%40durchholz.org.
For more options, visit https://groups.google.com/d/optout.
