Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!1.eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.lang.c Subject: Re: SAFEcode Date: Fri, 17 Apr 2015 10:31:00 -0700 Organization: None to speak of Lines: 20 Message-ID: <87egnir7aj.fsf@kst-u.example.com> References: <2a853a94-7471-48e8-ad4f-2d3e16c6421d@googlegroups.com> <4964f920-9e9b-44d1-a8c5-125462c8192e@googlegroups.com> <1f68d75f-0f30-4084-9aa3-c439c7667306@googlegroups.com> <78d03d4e-8eb2-4265-b734-0a6aee1a8b20@googlegroups.com> <3cc4cf1e-0a4f-49d0-be24-a07294d2f488@googlegroups.com> <87sic1sa3s.fsf@kst-u.example.com> <1f1874ce-edfe-4923-8d66-9bff31b56f0d@googlegroups.com> <87h9shrxzq.fsf@kst-u.example.com> <79e51590-587b-4fc3-8d7d-8c942be64d1b@googlegroups.com> <87iocw9itn.fsf@bsb.me.uk> <58fa4013-d529-4a33-9efb-84e73bf90169@googlegroups.com> <87bnin93sm.fsf@bsb.me.uk> <514d1b8f-b51e-407c-bba7-3da7f9dc8e5e@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="9be37d943435275679235b07c7947eef"; logging-data="14009"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/K3uQg7jFPZ3ZI8ctRWdGt" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) Cancel-Lock: sha1:ATBjvIEyqH9q4MIvb7sf20UXV5Y= sha1:fw8H+uWx/m7gJvyR5H2TYGbiKFA= Xref: csiph.com comp.lang.c:60251 Malcolm McLean writes: [...] > I've been accused of talking nonsense. > Now I might well be wrong, I'm not a mathematician. > > But I've posed a problem and proposed an answer. No-one else has proposed > an alternative solution, much less proved that their alternative is correct. > They've just asserted that I am talking nonsense and nit picked at things > like the jargon use of "minimise" to mean "any search for extrema". > (It's fair enough for someone who doesn't understand to be confused, I > don't blame anyone for that. It's the nit picking that gets wearing). I do understand your claim that "minimise" is a jargon term for "any search for extrema". I simply don't believe it. -- Keith Thompson (The_Other_Keith) kst-u@mib.org Working, but not speaking, for JetHead Development, Inc. "We must do something. This is something. Therefore, we must do this." -- Antony Jay and Jonathan Lynn, "Yes Minister"