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,c42dbf68f5320193 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-05-06 17:07:04 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!cpk-news-hub1.bbnplanet.com!news.gtei.net!newscon02.news.prodigy.com!newsmst01.news.prodigy.com!prodigy.com!postmaster.news.prodigy.com!newssvr21.news.prodigy.com.POSTED!3bae8248!not-for-mail From: tmoran@acm.org Newsgroups: comp.lang.ada Subject: Re: Generation of permutations References: <3CD6B078.49954B6A@san.rr.com> X-Newsreader: Tom's custom newsreader Message-ID: NNTP-Posting-Host: 67.115.106.197 X-Complaints-To: abuse@prodigy.net X-Trace: newssvr21.news.prodigy.com 1020730014 ST000 67.115.106.197 (Mon, 06 May 2002 20:06:54 EDT) NNTP-Posting-Date: Mon, 06 May 2002 20:06:54 EDT Organization: Prodigy Internet http://www.prodigy.com X-UserInfo1: Q[R_@SVGXZUWSVPXN[O@_WH@YR_B@EXLLBWLOOAFJYWZUYICD^RAQBKZQTZTX\_I[^G_KGFNON[ZOE_AZNVO^\XGGNTCIRPIJH[@RQKBXLRZ@CD^HKANYVW@RLGEZEJN@\_WZJBNZYYKVIOR]T]MNMG_Z[YVWSCH_Q[GPC_A@CARQVXDSDA^M]@DRVUM@RBM Date: Tue, 07 May 2002 00:06:54 GMT Xref: archiver1.google.com comp.lang.ada:23606 Date: 2002-05-07T00:06:54+00:00 List-Id: > ... is generally taken to mean ... by folks who ... The First Commandment to a writer is "Know your audience". Phrases with an idiosyncratic meaning to one audience are just confusing when directed to different audiences. > So "instructions emitted by Gnat when it compiles a bubble sort" doesn't > count, because you're already assuming you know it's a bubble sort. Prof to students: "Here is a set of machine instructions in the form of Ada source code. What do they do? Prove it." Poor students: "How the heck should I know?" Medium students: "It's a bubble sort, and here's a proof that it works." Good students: "How the heck could I know?" ?