From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-91-241.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=3.0 tests=none autolearn=ham
	autolearn_force=no version=3.4.6
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Luke A. Guest" <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: US Government looking into memory safe programming
Date: Mon, 25 Sep 2023 17:21:57 +0100
Organization: A noiseless patient Spider
Message-ID: <uesc35$20jem$1@dont-email.me>
References: <ueqd78$1hsr0$1@dont-email.me> <uere81$1qbqu$1@dont-email.me>
 <uerlmt$1rp7m$1@dont-email.me> <uernvu$1s5eo$1@dont-email.me>
 <uesagt$208tn$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 25 Sep 2023 16:21:57 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="48042f6812e4fc4dc38b8a70e91614c4";
	logging-data="2117078"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+6YCUVyfebhQpf5/iucKUlS3XM7TB74l4="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:2LvfN4KUshh0CGS06S2/MuJjjgE=
Content-Language: en-GB
In-Reply-To: <uesagt$208tn$1@dont-email.me>
Xref: news.eternal-september.org comp.lang.ada:65722
List-Id: <comp.lang.ada>

On 25/09/2023 16:55, G.B. wrote:

> What changes to Ada are a good fit while aiming
> at memory safety, verification support,
> or light weight and safe parallel execution?

I started thinking about that here https://github.com/Lucretia/orenda.