Yael Grauer‪Nov 11, 2022
NSA calls for a strategic shift to memory safe languages. https://media.defense.gov/2022/Nov/10/2003112742/-1/-1/0/CSI_SOFTWARE_MEMORY_SAFETY.PDF
Show threadArneBabNov 11, 2022

@yaelwrites seems strange that Python and even ADA Spark are missing in the example recommendations: https://www.adacore.com/papers/safe-dynamic-memory-management-in-ada-and-spark

Also I thought that Rust trademarks are now with the Rust foundation: https://foundation.rust-lang.org/policies/logo-policy-and-media-guide/

Safe Dynamic Memory Management in Ada and SPARK

AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.

AdaCore
Show threadYael Grauer‪
@ArneBab i was more interested in the bigger picture than nitpicking the details
Nov 11, 2022 at 5:06pmMastodon for iOS
Show threadArneBabNov 11, 2022

@yaelwrites those are pretty nice, yes 🙂

I got into the details while reading, because the big picture was "yupp, sounds good".