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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Adam Jensen <hanzer@riseup.net>
Newsgroups: comp.lang.ada
Subject: Re: Ada features supported by SPARK 2014
Date: Fri, 9 Dec 2016 12:21:05 -0500
Organization: A noiseless patient Spider
Message-ID: <o2ep3f$ge3$1@dont-email.me>
References: <c1a607a7-dce1-47a2-b4e5-7eba44ad4647@googlegroups.com>
 <f8786be7-31cf-4f04-9445-4fa5b7e45f71@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 9 Dec 2016 17:19:44 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="142fd0fec0694be993c80bda0a3fd8d3";
	logging-data="16835"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+9J5cxt4yUQ/OuzndRT+et"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.4.0
In-Reply-To: <f8786be7-31cf-4f04-9445-4fa5b7e45f71@googlegroups.com>
Cancel-Lock: sha1:86iyvWzPZCjIT1KJ29pYSCBbt70=
Xref: news.eternal-september.org comp.lang.ada:32700
Date: 2016-12-09T12:21:05-05:00
List-Id: <comp.lang.ada>

On 12/09/2016 03:24 AM, Robert Eachus wrote:
> There are lots of uses for SPARK, such as safety critical systems or complex tasking systems where SPARK is required, or in some cases SPARK will make complex programming easier.

[That's quite a stutter you've got there, Bob]
(https://youtu.be/hrcDNKwWszA?t=19s). Are you innately inclined towards
fandom, fanaticism, and fetishism or do you believe exposure to computer
programming documentation might have induced some kind of semantic
obsessive-compulsive disorder in your thought and use of language? In
the case of the latter, I wonder if the publishers, editors, and/or
authors could be held liable? A lawsuit would be a hilarious way to
instigate change. (Something has to be done). The attention and
motivation manipulation methods of the finance capitalism money cults
<smirk> are no longer an occult technology. There are not sufficient
restrictions on petty, incompetent, and sociopathic applications of
those techniques <serious smirk>.

Joking aside, have any of you read from the electrical engineering or
chemistry corpus? In comparison, given the character of computer
programming documentation, how can anyone take it seriously?