From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on ip-172-31-74-118.ec2.internal X-Spam-Level: ** X-Spam-Status: No, score=2.4 required=3.0 tests=BAYES_50,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.Ry1GfOCil8z4iThfpbQjlA.user.gioia.aioe.org!not-for-mail From: "Nasser M. Abbasi" Newsgroups: comp.lang.ada Subject: Re: My new post on dev.to about SPARK Date: Fri, 10 Jul 2020 04:16:44 -0500 Organization: Aioe.org NNTP Server Message-ID: References: <8e5d14a5-0311-4005-9655-951e8a274929o@googlegroups.com> Reply-To: nma@12000.org NNTP-Posting-Host: Ry1GfOCil8z4iThfpbQjlA.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.9.2 Xref: reader01.eternal-september.org comp.lang.ada:59425 List-Id: On 7/9/2020 9:16 AM, mockturtle wrote: > Dear.all, > first a bit of disclaimer: this is about a recent post of mine on dev.to > I post this here since I think that maybe someone in this group could be interested. > > Recently I wrote a small binary search procedure for a software of mine. Since I always wanted to start using SPARK, I thought that this could be a nice small problem to start playing around with SPARK. The post on dev.to is about my experience. > > If you are curious > > https://dev.to/pinotattari/proving-the-correctness-of-a-binary-search-procedure-with-spark-ada-34id > > Riccardo > Please change code formating so that background is not black. Hard to read on the eyes. "Pure black text on white backgrounds can cause eye strain when users read the text over an extended period. White has 100% color brightness, and black has 0% color brightness. Such a disparity in color brightness creates intense light levels that overstimulate the eyes when reading text"