From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,be23df8e7e275d73 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-08-07 13:25:01 PST Path: archiver1.google.com!newsfeed.google.com!sn-xit-02!sn-post-01!supernews.com!corp.supernews.com!not-for-mail From: "David Starner" Newsgroups: comp.lang.ada Subject: Re: Proving Correctness (was Java Portability) Date: Tue, 7 Aug 2001 20:19:48 +0100 Organization: Posted via Supernews, http://www.supernews.com Message-ID: References: <9jrt62$38t$1@nh.pace.co.uk> <3B619A6D.5DD6E782@home.com> <3B6636BA.96FD8348@home.com> <9kb3ub$hdo$1@a1-hrz.uni-duisburg.de> <9kchn1$lng$1@a1-hrz.uni-duisburg.de> <9kea9a$lsc$1@nh.pace.co.uk> <9keduf$qvc$1@a1-hrz.uni-duisburg.de> <9kelv1$riq$1@a1-hrz.uni-duisburg.de> <9kosp0$dje$1@nh.pace.co.uk> X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 X-Complaints-To: newsabuse@supernews.com Xref: archiver1.google.com comp.lang.ada:11525 Date: 2001-08-07T20:19:48+01:00 List-Id: "Marin David Condic" wrote in message news:9kosp0$dje$1@nh.pace.co.uk... > Well, one way to get it done would be for a handful of Ada advocates to > build a desirable library under the Ada Developers Cooperative License and > make it available on the net. Compiler vendors could freely bundle the > library(ies) with their compilers and would be encouraged to do so. [...] > I'd think it would be > nothing but up-side for them to have it done under the ADCL. If it was done under an open source license, ACT might add it to both the private and public releases of GNAT, and it would be included in at least one operating system (Debian) as soon as possible. If it's done under the ADCL, ACT won't add it to the public release, and I seriously doubt it would add it to the private releases (ACT has shown reluctance to pass costs onto their customers, as shown by them no longer using cygwin), and I don't know of any OS vendors who would jump to include it. > Asking someone to volunteer to make a library in his spare time and make it > available everywhere freely and never offer any compensation to him is going > to require that we find either a saint or a fool. I find that somewhat insulting; there are 400 Debian developers (including me) who are putting together an operating system for no monetary compensation, and I can tell you that few of us are saints. Frankly, not everyone values monetary compensation as much as you do. I have enough money and quasi-monetary resources to keep me feed, clothed and in college for the next year, with a little money for computer and roleplaying junk on the side. I don't need money; I'm looking peer respect and intellectual stimulation. Personally, the money coming from the ADCL would have too much legal complexity to be worth anything; you'd need to get an accountant or lawyer involved to handle anything. If thousands were coming in, it might be worth it, but I rather bet on "Make Money Fast" schemes. > I don't see any big rush > on the part of developers here to do this - so maybe that is evidence that > giving it away free is not sufficient incentive to get the job done IMO, the ADCL would be an overall negative incentive; it would drive away any open-source people who would work on it, and attract very few people who care about money (who probably figure it the same way I do; there's a small chance of this being worth anything, so going into expecting to get enough money to pay for my time is stupid.) Sometimes things just don't come together right; the world of programming is littered with dead projects. If someone wants to get together another try (or restart an old one) under a reasonable licenes (XFree or GNAT-modified GPL - something with few strings attached), I'm willing to work on it. Maybe this time it will work; maybe it won't. I don't think using the ADCL will affect that positively. -- David Starner - dstarner98@aasaa.ofe.org "The pig -- belongs -- to _all_ mankind!" - Invader Zim