Re: Ada Monthly Meetup 2024

In article <ushvqa$2ctsj$1@dont-email.me>,
Fernando Oleo / Irvise  <irvise_ml@irvise.xyz> wrote:

- The [NSA published a list of memory safe
languages](https://www.cisa.gov/sites/default/files/2023-12/The-Case-for-Memory-Safe-Roadmaps-508c.pdf)
   - Ada was not mentioned in the list of programming languages.
Nonetheless Ada/SPARK are listed in the references.
   - Ada needs better visibility and "marketing".

But there's an NSA report on the same topic that lists 9
memory-safe languages, and Ada is included. See "The NSA list of
memory-safe programming languages has been updated - ReadWrite" at
<https://readwrite.com/the-nsa-list-of-memory-safe-programming-languages-has-been-updated/>.

After some searching I found that NSA report at
<https://media.defense.gov/2023/Apr/27/2003210083/-1/-1/0/CSI_SOFTWARE_MEMORY_SAFETY_V1.1.PDF>.

Dirk