 |
Post Aw3mbxMPyv00OctLrk by [email protected] |
 |
More posts by [email protected] |
|
Post #Aw1kVMQnmZkvtrkXc8 by [email protected] |
|
0 likes, 2 repeats |
|
|
|
Since working on #CHERIoT, I've been surprised at how many other potential … |
|
|
|
Post #Aw1pGtXktDWY1SvJp2 by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@david_chisnall How much does this architecture overlap-replace- augment what r… |
|
|
|
Post #Aw1pGte8VUd0LFuPlg by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@rsalz Overlaps slightly, but in a way that composes nicely.Rust gives you:Arbi… |
|
|
|
Post #Aw3mbxMPyv00OctLrk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@david_chisnall thank you for the very detailed and informative note. Sounds ex… |
|
|
|
Post #Aw86IBdlxGTKbmhQCe by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@david_chisnall Would you consider it helpful if in the discourse on memory saf… |
|
|
|
Post #Aw86IBlDVaQWysBMo4 by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@burakemir I'm not sure what 'execution environment safety' is, but… |
|
|
|
Post #Aw9Q7449y6fgAlyYNM by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@david_chisnall Yes, providing more guarantees than what the language provides … |
|
|
|
Post #Aw9Q74AtZ43iVf7vsG by [email protected] |
|
0 likes, 1 repeats |
|
|
|
@burakemir That’s an interesting thought. I’m not sure that they are quite … |
