What is memory safety (alexgaynor.net)
from pap1rus@lemmy.ml to programming@programming.dev on 03 Oct 2023 03:22
https://lemmy.ml/post/5919948

this article brought me back to www.pl-enthusiast.net/2014/07/21/memory-safety/

#programming

threaded - newest

drre@feddit.de on 03 Oct 2023 06:02 next collapse

i feel like half the article is missing

pap1rus@lemmy.ml on 03 Oct 2023 06:31 collapse

true, I don’t see any definitions of memory safety in “Defining the memory safe problem” , but a more detailed discussion of memory safety is in the other article www.pl-enthusiast.net/2014/07/21/memory-safety/

drre@feddit.de on 03 Oct 2023 13:56 collapse

thanks! but i can’t access the site (certificate expired some certificate related error, then, page not found). I’ll try again later

[deleted] on 07 Oct 2023 19:44 collapse

.

activistPnk@slrpnk.net on 07 Oct 2023 19:49 collapse

I wondered what that article would say about Ada. No mention. But certainly Ada gives you the ability to have the issues that are listed so apparently Ada is memory unsafe (despite it being highly regarded as a safe language overall).

Also worth noting that Ada developers generally consider rust a watered down lesser alternative. OTOH, rust has memory safety and Ada does not, correct?