DiscoverComposeRahul Kumar: Why verify Rust’s standard library?
Rahul Kumar: Why verify Rust’s standard library?

Rahul Kumar: Why verify Rust’s standard library?

Update: 2025-01-25
Share

Description

AWS and the Rust Foundation are jointly sponsoring an initiative to verify the Rust standard library. Learn why from the initiative's creator, Rahul Kumar.
Comments 
loading
In Channel
Google Play
Download from Google Play
Castbox
Download from App Store
usUnited States
00:00
00:00
1.0x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

Rahul Kumar: Why verify Rust’s standard library?

Rahul Kumar: Why verify Rust’s standard library?

Tim McNamara (timClicks)