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-03 21:14:15 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!canoe.uoregon.edu!arclight.uoregon.edu!enews.sgi.com!newshub2.rdc1.sfba.home.com!news.home.com!news1.rdc2.on.home.com.POSTED!not-for-mail Message-ID: <3B6B769A.D8479670@home.com> From: "Warren W. Gay VE3WWG" X-Mailer: Mozilla 4.75 [en] (Windows NT 5.0; U) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Proving Correctness (was Java Portability) 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> <9kea9a$lsc$1@nh.pace.co.uk> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Sat, 04 Aug 2001 04:14:14 GMT NNTP-Posting-Host: 24.141.193.224 X-Complaints-To: abuse@home.net X-Trace: news1.rdc2.on.home.com 996898454 24.141.193.224 (Fri, 03 Aug 2001 21:14:14 PDT) NNTP-Posting-Date: Fri, 03 Aug 2001 21:14:14 PDT Organization: Excite@Home - The Leader in Broadband http://home.com/faster Xref: archiver1.google.com comp.lang.ada:11280 Date: 2001-08-04T04:14:14+00:00 List-Id: Marin David Condic wrote: > 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. Here here! I hear ya. > (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. :-) When you're young you have enthusiasm and the energy to learn all of those "intracacies". As you get "beyond young" you loose enthusiasm for the detail, and lack the energy to care.. yes, you begin to focus on getting the job done. ;-) I like Ada for many reasons, but one of them is to avoid having to deal with the tireless details! Especially for tasking (threaded) code. > 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/ -- Warren W. Gay VE3WWG http://members.home.net/ve3wwg