Tech Talk: Rust And Bitter C++ Developers With Jim Blandy
CoRecursive: Coding Stories · Adam Gordon Bell
Audio is streamed directly from the publisher (traffic.libsyn.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
Tech Talks are in-depth technical discussions.
Rust, the programming language, seems to be really trendy these days. Trendy to me means shows up a lot on hacker news. Rust is really interesting language though, and I think the growing popularity is deserved.
Today I talk with Jim Blandy, one of the authors of Programming Rust. We talk about what problems rust is trying to solve, the unique language features and type system of rust. It includes both algebraic data types, type classes, and generics. There is even a proposal somewhere for adding HKT. We also touch on why it is so hard to secure code. Jim works on Firefox and his insights into the difficulty of writing secure code are super interesting.
Show notes
- Rust
- Programming Rust Book
- MESI protocol
- Constraint-based Verification of Parameterized Cache Coherence Protocols Formal Methods in System Design
- Rust Validation -
- 3d game demo - (not sure where this is, post in comments if you find it)
- integer overflow