Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!1.eu.feeder.erje.net!news.swapon.de!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: Wed, 15 Apr 2015 08:08:07 -0700 Organization: None to speak of Lines: 22 Message-ID: <87sic1sa3s.fsf@kst-u.example.com> References: <726b3d86-0074-4f28-9968-c75a36870a15@googlegroups.com> <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> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="9be37d943435275679235b07c7947eef"; logging-data="29691"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18FZMtSNf5HC+gnCvs0WpUb" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) Cancel-Lock: sha1:FU24gzf//6pIyEaXreaL+fVh5HM= sha1:22qifGqSbEbnZlP+hMWNV1eE5rM= Xref: csiph.com comp.lang.c:60082 Malcolm McLean writes: [...] > It's really very basic. > If I say "we're trying to minimise a function we know nothing about", > and you interpret "nothing" in the most literal way possible, then > there's an infinite number of possible functions, and you're left with > some rarefied branch of set theory. [...] It might have helped if you had defined what it means to "minimise" a function. (One possible meaning is "belittle"; I can certainly do that.) You've presented functions that can return -1, 0, or 1, and discussed finding an argument for which they return 0. If that's what you mean by "minimise", you need to be a *lot* clearer in your descriptions. -- 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"