Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"The sixties were good to you, weren't they?" -- George Carlin


devel / comp.lang.ada / Re: Ada - In Strong Typing We Trust - "coin" updated for Ada 2022

SubjectAuthor
* Ada - In Strong Typing We Trust - "coin" updated for Ada 2022Dirk Craeynest
`- Re: Ada - In Strong Typing We Trust - "coin" updated for Ada 202225.BZ942

1
Ada - In Strong Typing We Trust - "coin" updated for Ada 2022

<stm77b$qod$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6621&group=comp.lang.ada#6621

  copy link   Newsgroups: comp.lang.ada fr.comp.lang.ada
Path: i2pn2.org!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: dir...@orka.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada,fr.comp.lang.ada
Subject: Ada - In Strong Typing We Trust - "coin" updated for Ada 2022
Date: Sat, 5 Feb 2022 16:04:59 -0000 (UTC)
Organization: Ada-Belgium, c/o Dept. of Computer Science, KU Leuven
Lines: 17
Message-ID: <stm77b$qod$1@dont-email.me>
Injection-Date: Sat, 5 Feb 2022 16:04:59 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="465dd15294894abc062c8beb99ec4b99";
logging-data="27405"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/YjMm6kqxMDGOjktjqLRkmInHAGaPNOHo="
Summary: Ada 2022 coin picture for promotional use
Keywords: Ada,coin,badge,redesign,Ada 2022,ISO standard,strong typing
Cancel-Lock: sha1:0BuEq7cYtzrv0Yp9L97s1u2sSXw=
Originator: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
 by: Dirk Craeynest - Sat, 5 Feb 2022 16:04 UTC

Ada - In Strong Typing We Trust - "coin" updated for Ada 2022

As of today, a new version of the traditional "Ada coin" is available
for promotional use at
<http://www.cs.kuleuven.be/~dirk/ada-belgium/pictures/ada-strong.html>

Coinciding with the final stages in the ISO standardization of the
latest Ada programming language revision, referred to as "Ada 2022",
and for the occasion of the 11th Ada Developer Room at FOSDEM 2022,
a new update was made available, adding "2022".

Enjoy!

Dirk Craeynest
Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/-Europe/SIGAda/WG9 mail)

(V20220205.1)

Re: Ada - In Strong Typing We Trust - "coin" updated for Ada 2022

<I6-dnWNn9Mz8wGL8nZ2dnUU7-eHNnZ2d@earthlink.com>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6623&group=comp.lang.ada#6623

  copy link   Newsgroups: comp.lang.ada fr.comp.lang.ada
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail
NNTP-Posting-Date: Sat, 05 Feb 2022 23:32:17 -0600
Subject: Re: Ada - In Strong Typing We Trust - "coin" updated for Ada 2022
Newsgroups: comp.lang.ada,fr.comp.lang.ada
References: <stm77b$qod$1@dont-email.me>
From: 25BZ492....@nowhere (25.BZ942)
Date: Sun, 6 Feb 2022 00:32:17 -0500
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
Thunderbird/68.12.0
MIME-Version: 1.0
In-Reply-To: <stm77b$qod$1@dont-email.me>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Message-ID: <I6-dnWNn9Mz8wGL8nZ2dnUU7-eHNnZ2d@earthlink.com>
Lines: 6
X-Usenet-Provider: http://www.giganews.com
NNTP-Posting-Host: 98.77.165.67
X-Trace: sv3-t7zSXEOeXRDvnS1V3811fpS0JQRmw+qsCFs0Rn2/mVBE2N/EgqsXw8YzFmOLMKOu4qINeJpRJCRqmkD!jYbaRB8WloyQuN+VEOBIhfMm1T9x1ZLccJYuBdLJurp3Sb73HkHpRc2958iby2AqWt/2Z1FtwHol!Tm1UNr50oZp5cHhaNcw=
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 1335
 by: 25.BZ942 - Sun, 6 Feb 2022 05:32 UTC

Such a thing as *excessively* strong typing :-)

When you have to spend 10X the code to get from
here to there ....

Perfect for Govt projects, of course :-)

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor