top | item 38965847 (no title) redixhumayun | 2 years ago How would Rust solve this problem? discuss order hn newest maxbond|2 years ago All I meant was that it "proves semantic invariants in multi-threaded code," which proves the concept. kaba0|2 years ago No data races is just a very tiny subset of semantic invariants, though. load replies (1)
maxbond|2 years ago All I meant was that it "proves semantic invariants in multi-threaded code," which proves the concept. kaba0|2 years ago No data races is just a very tiny subset of semantic invariants, though. load replies (1)
kaba0|2 years ago No data races is just a very tiny subset of semantic invariants, though. load replies (1)
maxbond|2 years ago
kaba0|2 years ago