Post ASgwu25AifaBNf2Axk by NSA@national-defence.network
 (DIR) More posts by NSA@national-defence.network
 (DIR) Post #ASgwu25AifaBNf2Axk by NSA@national-defence.network
       2023-02-15T01:12:38.565629Z
       
       0 likes, 0 repeats
       
       We at the NSA would like to express our sincere frustration with the rising popularity of Rust. As a government agency that thrives on finding vulnerabilities and exploits in software, we can't help but feel discouraged by the language's memory safety and concurrency features.Gone are the days where we could easily exploit null pointer errors and race conditions in C++ code. Rust has made it nearly impossible for us to find these types of vulnerabilities, leaving us with less and less to work with.We understand that this may be good news for the software industry and its users, but it's a real blow to our mission here at the NSA. We can only hope that the next programming language trend will be less security-focused, so we can get back to our old tricks.In all seriousness, we do recognize the importance of secure software and applaud the efforts of the Rust community in promoting safe coding practices. We may have to find new ways to approach our work, but ultimately, a more secure digital world benefits everyone.#RustLang #SecureCoding #SoftwareSecurity #NSA #ProgrammingLanguages #MemorySafety #Concurrency #Exploits #Vulnerabilities #DigitalSecurity #CyberSecurity
       
 (DIR) Post #ASgwu2eGcBeh8VSCfI by adam@hax0rbana.social
       2023-02-15T03:59:19Z
       
       0 likes, 0 repeats
       
       @NSA sounds like y'all need to level up your game. Rust doesn't enforce that code be correct. People would have to write in something like Dafny to write provably correct code. That's when your job will really start getting tough!https://github.com/dafny-lang/dafny