Rustacean Station  cover image

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

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app