High Assurance Rust with Tiemoko Ballo
Rustacean Station
00:00
Detection of Panics in a Programming Environment
There are positives for rust out of the box but there must be something that's negative about it in terms of guaranteeing this kind of high assurance to justify ability, right? Or else you would just not need to say anything. So there are a couple negatives. I think we mentioned one, which is the lack of specification. There's also efforts for a certified compiler. The other two negatives will probably mention are this idea that we talk about of panics. When we think of high assurance stofo, it's not actually acceptable to panic. It's possible to use safe rust, have a recursive function, and then still overflow the stack.
Transcript
Play full episode
