Did 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
Did 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