TheCee@programming.dev to Programming Languages@programming.devEnglish · 1 year agoType Systems for Memory Safetyborretti.meexternal-linkmessage-square2fedilinkarrow-up18arrow-down10cross-posted to: [email protected]
arrow-up18arrow-down1external-linkType Systems for Memory Safetyborretti.meTheCee@programming.dev to Programming Languages@programming.devEnglish · 1 year agomessage-square2fedilinkcross-posted to: [email protected]
minus-squareTheCee@programming.devOPlinkfedilinkEnglisharrow-up4·1 year agoNo idea where Lemmy pulled that preview picture, btw.
No idea where Lemmy pulled that preview picture, btw.