Formally-Verified Memory Safety in a systems language?
https://www.reddit.com/r/ProgrammingLanguages/comments/1fgr42g/formallyverified_memory_safety_in_a_systems/
Programming Languages (RSS Feed) /
npub1m0…xwnem
2024-09-14 17:18:12
Author Public Key
npub1m0ra28cfppde7675s0remmzrzulfm3cqyhqm3rqlnpcz8hljqyeqfxwnemSeen on
wss://relay.damus.io