Linked by Thom Holwerda on Mon 16th Apr 2012 02:08 UTC
In the News "Modern science relies upon researchers sharing their work so that their peers can check and verify success or failure. But most scientists still don't share one crucial piece of information - the source codes of the computer programs driving much of today's scientific progress." Pretty crazy this isn't the norm yet.
Permalink for comment 514451
To read all comments associated with this story, please click here.
lucas_maximus
Member since:
2009-08-18

Do you know what sort of effort it required to prove that a computer program is mathematically correct?

We are going into the Vienna Developer Method territory. Which is totally irrelevant anyway.

The whole point is that the information in the paper should be sufficient to reproduce the results, ... you are putting the cart before the horse.

If formulae and relevant parts of the algorithm are described (pseudo-code is pretty good IMHO, and I write my proper code first as pseudo code) is more than sufficient.

Reply Parent Score: 2