A Rusty CHERI – The path to hardware capabilities in Rust [video] (archive.fosdem.org) 48 points by ptx 2y ago ↗ HN
[–] mlinksva 2y ago ↗ From February. Seems current work might be in https://github.com/CyberHive/rust-cheriDid not realize until watching the video that this seems to be funded by the UK, thank you! https://www.ukri.org/what-we-do/our-main-funds-and-areas-of-...The DSBD program has some interesting looking videos on YT. Another short (11m) one is about why you'd want hardware capabilities with a safe language (don't lose safety when calling unsafe code, IIUC) https://www.youtube.com/watch?v=sNbdOFk26jw
1 comment
[ 2.5 ms ] story [ 16.1 ms ] threadDid not realize until watching the video that this seems to be funded by the UK, thank you! https://www.ukri.org/what-we-do/our-main-funds-and-areas-of-...
The DSBD program has some interesting looking videos on YT. Another short (11m) one is about why you'd want hardware capabilities with a safe language (don't lose safety when calling unsafe code, IIUC) https://www.youtube.com/watch?v=sNbdOFk26jw