Tech Talk: Rust And Bitter C++ Developers With Jim Blandy
Tech Talks are in-depth technical discussions.\xa0
Rust, the programming language, seems to be really trendy these days.\xa0 Trendy to me means shows up a lot on hacker news.\xa0 Rust is really interesting language though, and I think the growing popularity is deserved.\xa0\xa0
Today I talk with Jim Blandy, one of the authors of Programming Rust.\xa0 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.\xa0 There is even a proposal somewhere for adding HKT.\xa0 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
- \xa0Constraint-based Verification of Parameterized Cache Coherence Protocols\xa0Formal Methods in System Design
- Rust Validation\xa0 -\xa0
- 3d game demo - (not sure where this is, post in comments if you find it)
- integer overflow\xa0