Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

It's surprising to see an article with such a large encompassing of different techniques, hybrid techniques and design interactions with the type system, but is more surprising that a whole dimension of memory (un)management was left out: memory fragmentation


It's probably because fragmentation isn't a safety issue. (In the sense of 'safety' being discussed here.)


It doesn't create UB, but it is something safety critical software has to address.


... which is why I had that little bit at the end there.




Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: