I might be mistaken, but basically what you're saying is that computer programmers should discard computer science methods as irrelevant? Including things like graphs and sorting algorithms, for example (which are studied using formal methods by computer scientists)?
As for di Cosmo, maybe you should have a look at the "Free Software" page on his web site : http://www.dicosmo.org/. This guy actually writes stuff that's *useful*.
I'm guessing that's because the original acronym is in French.
It's Environnement pour le Développement et la distribution de logiciels Open Source, which makes a lot more sense.
Slashdot Mirror
I might be mistaken, but basically what you're saying is that computer programmers should discard computer science methods as irrelevant? Including things like graphs and sorting algorithms, for example (which are studied using formal methods by computer scientists)? As for di Cosmo, maybe you should have a look at the "Free Software" page on his web site :
http://www.dicosmo.org/. This guy actually writes stuff that's *useful*.
I'm guessing that's because the original acronym is in French. It's Environnement pour le Développement et la distribution de logiciels Open Source, which makes a lot more sense.