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=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no 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-03 07:07:34 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!psinet-eu-nl!psiuk-p4!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail From: "Marin David Condic" Newsgroups: comp.lang.ada Subject: Re: Proving Correctness (was Java Portability) Date: Fri, 3 Aug 2001 09:51:36 -0400 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: <9kea9a$lsc$1@nh.pace.co.uk> References: <1Zu77.187$EF5.315498@nnrp1.proxad.net> <9jp5eo$e2b$2@a1-hrz.uni-duisburg.de> <9jrdl3$mh2$1@a1-hrz.uni-duisburg.de> <%hb87.917$%w2.3730577@nnrp3.proxad.net> <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> NNTP-Posting-Host: 136.170.200.133 X-Trace: nh.pace.co.uk 996846698 22412 136.170.200.133 (3 Aug 2001 13:51:38 GMT) X-Complaints-To: newsmaster@news.cam.pace.co.uk NNTP-Posting-Date: 3 Aug 2001 13:51:38 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: archiver1.google.com comp.lang.ada:11208 Date: 2001-08-03T13:51:38+00:00 List-Id: I like the way you think. :-) There was a time when I was interested in being a "geek" and I got a great deal of satisfaction out of understanding all the intracacies of an OS and how to plug software into it and so on. That time is now past. I want to turn it on and get a job done. The less I need to know about the appliance, the more time I have free to dedicate to more profitable endeavors. Maybe I'm atypical of the population of programmers out there, but I think that it isn't hard to imagine most people appreciating a software product that just plugs in and starts to work. (Do most people *really* want to spend time fooling with registry entries, paths, file locations, compile/install scripts, etc? Or would they rather just plug the disk in, say "Install" and get started playing with the product? It leaves more time for sitting on the beach, sucking down a Pina Colada and getting a suntan. :-) MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com Web: http://www.mcondic.com/ "nicolas" wrote in message news:R1ta7.4077$ke.4769807@nnrp6.proxad.net... > > Have you ever met people considering that computers are just tools ? > I guess the misunderstanding comes from the fact that > - Most programmers like computers, this is a hobby, they have a lot of fun > playing with them > - the rest of the world use a computer or a software like a TV set, a coffee > machine or whatever you want. > the important point is that it must work more or less, be easy to use, > nobody cares what's inside ... > Nobody cares if it comes from the evil Microsoft or the good whatever you > want ... > Nobody wants to spend 5 hours reading a doc before a basic use of the > product >