this post was submitted on 03 Oct 2023
18 points (84.6% liked)

Programming

16311 readers
291 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev

founded 1 year ago
MODERATORS
snowe@programming.dev
Ategon@programming.dev
MaungaHikoi@lemmy.nz
18
What is memory safety (alexgaynor.net)
submitted 9 months ago* (last edited 9 months ago) by pap1rus@lemmy.ml to c/programming@programming.dev
4 comments fedilink hide all child comments
 

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

all 5 comments
sorted by: hot top controversial new old
[–] drre@feddit.de 10 points 9 months ago (1 children)

i feel like half the article is missing

[–] pap1rus@lemmy.ml 4 points 9 months ago* (last edited 9 months ago) (1 children)

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 http://www.pl-enthusiast.net/2014/07/21/memory-safety/

[–] drre@feddit.de 2 points 9 months ago* (last edited 9 months ago) (1 children)

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

[–] activistPnk@slrpnk.net 1 points 9 months ago* (last edited 9 months ago)

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?