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 07:25:29 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!feed.textport.net!newsfeed.media.kyoto-u.ac.jp!sjc-peer.news.verio.net!news.verio.net!iad-read.news.verio.net.POSTED!kilgallen From: Kilgallen@eisner.decus.org.nospam (Larry Kilgallen) Newsgroups: comp.lang.ada Subject: Re: Proving Correctness (was Java Portability) Message-ID: 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> <9Organization: LJK Software Date: 3 Aug 2001 10:25:22 -0500 NNTP-Posting-Host: 216.44.122.34 X-Complaints-To: abuse@verio.net X-Trace: iad-read.news.verio.net 996848726 216.44.122.34 (Fri, 03 Aug 2001 14:25:26 GMT) NNTP-Posting-Date: Fri, 03 Aug 2001 14:25:26 GMT Organization: Verio Xref: archiver1.google.com comp.lang.ada:11213 Date: 2001-08-03T10:25:22-05:00 List-Id: In article <9kea9a$lsc$1@nh.pace.co.uk>, "Marin David Condic" writes: > 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? I call those people "Macintosh users" :-) Last night we went to a Kinko's that told me on the phone they had scanners on Macintosh, and they didn't. I stormed out. My wife said that if push came to shove she would be willing to do it on a PC (which that Kinko's did offer). We went to another Kinko's that _did_ have scanners on Macintosh (2, in fact) and had a rather easy time (aside from waiting for the scanner to scan) pulling something into Photoshop and putting it on diskette in JPEG for a web site my wife is setting up. This is without having ever used Photoshop or a G4 Macintosh (the Flower key is displaced a bit from what I use). This experience is _considerably_ better than I have had with copying machines.