I built a memory-safe web server in Rust (currently in beta) — https://www.ferronweb.org/
#HackerNews #memorysafe #rustwebserver #beta #ferronweb #technology
"Another problem is that memory-safe languages may introduce performance slowdowns compared to C and C++"
An old myth Granni tells her grandchildren besides the fireplace. Everyone ready to change beliefs given new evidence should read the garbage collection handbook to understand why manual memory management isn't naturally faster.
https://www.theregister.com/2024/11/08/the_us_government_wants_developers/
http://gchandbook.org/
The temperature is rising on using programming languages that are not memory safe #memorysafety #memorysafe https://thenewstack.io/feds-critical-software-must-drop-c-c-by-2026-or-face-risk/

"Memory safety vulnerabilities remain a pervasive threat to software security. At #Google we believe the path to eliminating this class of vulnerabilities at scale and building high-assurance software lies in Safe Coding, a #SecureByDesign approach that prioritizes transitioning to #memorySafe languages."
https://security.googleblog.com/2024/09/eliminating-memory-safety-vulnerabilities-Android.html
Voyager 1 written in memory unsafe assembly language and FORTRAN, without use of Rust or Category Theory, or reflection, or dependent data types even, seems to still be working.
#software #memorysafe #voyager1
Voyager 1 written in memory unsafe assembly language and FORTRAN, without use of Rust or Category Theory, or reflection, or dependent data types even, seems to still be working.
#software #memorysafe #voyager1
The NSA finally updated their list of memory safe programming languages and finally added Ruby. It bugged me that Python was listed, but not Ruby. Now they just need to add JavaScript, Crystal, Nim, and possibly Zig.
https://www.msn.com/en-us/news/technology/the-nsa-list-of-memory-safe-programming-languages-has-been-updated/ar-BB1jcvOy
#ruby #memorysafe #memorysafety
Memory Safety in a Modern System Programming