79 subscribers
با برنامه Player FM !
پادکست هایی که ارزش شنیدن دارند
حمایت شده


1 Inside Deloitte Ventures: Strategic Corporate VC Insights on Scaling Startups and Vertical AI Trends 34:07
Tech Talk: Rust And Bitter C++ Developers With Jim Blandy
Manage episode 260142171 series 2661799
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
105 قسمت
Manage episode 260142171 series 2661799
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
105 قسمت
همه قسمت ها
×






1 Behind the Mic: Adam Gordon Bell on Communication with Software Misadventures Podcast 1:03:40








به Player FM خوش آمدید!
Player FM در سراسر وب را برای یافتن پادکست های با کیفیت اسکن می کند تا همین الان لذت ببرید. این بهترین برنامه ی پادکست است که در اندروید، آیفون و وب کار می کند. ثبت نام کنید تا اشتراک های شما در بین دستگاه های مختلف همگام سازی شود.