Skip to content
  • Articles
  • Tips
  • Videos
  • Topics
    • Key Concepts
    • Semantics and Syntax
    • Types and Values
    • Control Flow
    • Error Handling
    • Iterators, Collections, and Repetition
    • Data Structures
    • Testing
    • Deployment
    • Application architecture/design
    • Data structure design
  • Playlists
    • Learn Rust
    • Idiomatic Rust
    • Experiments and Exercises
    • Creative Coding Projects
    • Crate of the Week
    • Talks and Presentations
  • Compose Podcast
  • Articles
  • Tips
  • Videos
  • Topics
    • Key Concepts
    • Semantics and Syntax
    • Types and Values
    • Control Flow
    • Error Handling
    • Iterators, Collections, and Repetition
    • Data Structures
    • Testing
    • Deployment
    • Application architecture/design
    • Data structure design
  • Playlists
    • Learn Rust
    • Idiomatic Rust
    • Experiments and Exercises
    • Creative Coding Projects
    • Crate of the Week
    • Talks and Presentations
  • Compose Podcast
Patreon
Accelerant.dev

Tag: aws

Rahul Kumar: Why verify Rust’s standard library?

Cover art for the Compose podcast episode "Why verify Rust's standard library, interview with Rahul Kumar, Senior Applied Science Manager, AWS"

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.

follow tim

Stay up to date with notifications on the latest timClicks videos, livestream community events, starter repos, and more!

Patreon

Support Tim by joining Patreon to keep these videos coming and to be part of the process! 

Join Patreon

Accelerant.dev

Education and consulting for working developers and CTOs who want to speed up their adoption of Rust—from the ground up.

learn more

© 2023, Tim McNamara. Design and development by Underscorefunk Design.

  • Articles
  • Tips
  • Videos
  • Topics
    • Key Concepts
    • Semantics and Syntax
    • Types and Values
    • Control Flow
    • Error Handling
    • Iterators, Collections, and Repetition
    • Data Structures
    • Testing
    • Deployment
    • Application architecture/design
    • Data structure design
  • Playlists
    • Learn Rust
    • Idiomatic Rust
    • Experiments and Exercises
    • Creative Coding Projects
    • Crate of the Week
    • Talks and Presentations
  • Compose Podcast
  • Articles
  • Tips
  • Videos
  • Topics
    • Key Concepts
    • Semantics and Syntax
    • Types and Values
    • Control Flow
    • Error Handling
    • Iterators, Collections, and Repetition
    • Data Structures
    • Testing
    • Deployment
    • Application architecture/design
    • Data structure design
  • Playlists
    • Learn Rust
    • Idiomatic Rust
    • Experiments and Exercises
    • Creative Coding Projects
    • Crate of the Week
    • Talks and Presentations
  • Compose Podcast
Patreon
Accelerant.dev