Maybe it's because I just started paying attention recently, but I'm seeing new approaches to the memory safety issue on r/ProgrammingLanguages every other week

Maybe it's because I just started paying attention recently, but I'm seeing new approaches to the memory safety issue on r/ProgrammingLanguages every other week. Just off the top of my head, Vale looks interesting. But it's clearly under active research, even if it's not super visible