comp.lang.ada
 help / color / mirror / Atom feed
From: Preben Randhol <randhol+valid_for_reply_from_news@pvv.org>
Subject: Re: SlashDot reviews the SPARK book
Date: Fri, 21 May 2004 15:47:10 +0000 (UTC)
Date: 2004-05-21T15:47:10+00:00	[thread overview]
Message-ID: <slrncas93u.7to.randhol+valid_for_reply_from_news@k-085191.nt.ntnu.no> (raw)
In-Reply-To: 20619edc.0405201008.1742603e@posting.google.com

On 2004-05-20, Mike Silva <snarflemike@yahoo.com> wrote:
> Mark Lorenzen <mark.lorenzen@ofir.dk> wrote in message news:<m3wu38dud7.fsf@niflheim.malonet>...
>> rod.chapman@praxis-cs.co.uk (Rod Chapman) writes:
>> 
>> > ...subject line says it all.  This is actually Jack
>> > Ganssle's review of the book, which was noted on c.l.a
>> > back in December.  Still...no such thing as bad publicity! :-)
>> >  All the best,
>> >    Rod, SPARK Team
>> 
>> My previous posting apparently crossed yours. And yes, there probably
>> is no such thing as bad publicity, but it is frustrating to read the
>> comments on the /. message board.
>
> Yeah, so many like this one: "Now, is there a language to ensure that
> your boss asks you to program the right thing?"
>
> Funny thing is, none of these people actually live their lives that
> way -- deciding that no precautions or advantages are worthwhile,
> since no precaution or advantage can cover every possible situation.

Remember that many of them are teenagers and many are die hard C nut
heads.

-- 
Preben Randhol -------- http://www.pvv.org/~randhol/

()  "Violence is the last refuge of the incompetent"
/\                                   - Isaac Asimov



  reply	other threads:[~2004-05-21 15:47 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-05-19 20:32 SlashDot reviews the SPARK book Rod Chapman
2004-05-19 20:39 ` Mark Lorenzen
2004-05-20 18:08   ` Mike Silva
2004-05-21 15:47     ` Preben Randhol [this message]
2004-06-02 23:49     ` Craig Carey
2004-05-19 22:48 ` Jeff C,
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox