Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
Content provided by Sean Chen. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Sean Chen or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Similar to Building with Rust
Three nerds discussing tech, Apple, programming, and loosely related matters.
…
continue reading
Discover a whole new take on Artificial Intelligence with Squirro's educational podcast! Join host Lauren Hawker Zafer, a top voice in Artificial Intelligence on LinkedIn, for insightful chats that unravel the fascinating world of tech innovation, use case exploration and AI knowledge. Dive into candid discussions with accomplished industry experts and established academics. With each episode, you'll expand your grasp of cutting-edge technologies and their incredible impact on society, and y ...
…
continue reading
Download This Show is your weekly guide to the world of media, culture, and technology. From social media to gadgets, streaming services to privacy issues. Each week Marc Fennell and a team of people far smarter than him (his words, not ours) take a fun deep dive into how technology is reshaping our lives.
…
continue reading
This is the audio podcast version of Troy Hunt's weekly update video published here: https://www.troyhunt.com/tag/weekly-update/
…
continue reading
Android Backstage, a podcast by and for Android developers. Hosted by developers from the Android engineering team, this show covers topics of interest to Android programmers, with in-depth discussions and interviews with engineers on the Android team at Google. Subscribe to Android Developers YouTube → https://goo.gle/AndroidDevs
…
continue reading
A podcast featuring panelists of engineers from Netflix, Twitch, & Atlassian talking over drinks about all things software engineering.
…
continue reading
The director’s commentary track for Daring Fireball. Long digressions on Apple, technology, design, movies, and more.
…
continue reading
Monday through Friday, Marketplace demystifies the digital economy in less than 10 minutes. We look past the hype and ask tough questions about an industry that’s constantly changing.
…
continue reading
Get the most out of your home theater with the latest advances, product reviews, and all things audio and video. Every Thursday, Scott Wilkinson shares his expertise, energy, and enthusiasm about how to make your A/V system sound and look its best. In this short-format podcast, Scott brings you news, reviews, interviews, and commentary, and answers your questions. You can join Club TWiT for $7 a month and get ad-free audio and video feeds for all our shows plus everything else the club offer ...
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
))
Ralf Jung on GhostCell and Working as a PL Researcher
Manage episode 294544613 series 2908666
Content provided by Sean Chen. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Sean Chen or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
We sat down with Ralf Jung who is, at the time of this recording, a post-doctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS). Ralf is part of the RustBelt project, which seeks to define and develop rigorous formal foundations for the Rust programming language.
We talked with Ralf about GhostCell, a technique for separating permissions from data in Rust that opens up possibilities and alternative strategies when it comes to working around Rust's "aliasing XOR mutability" rules, why there seems to be such a large gap between academic programming languages and "mainstream" programming languages, as well as what makes for a good PL researcher.
Ralf blogs about Rust, and other topics, at https://www.ralfj.de/blog/.
matthieu-m's Ghost Collections crate is referenced during the show and can be found at https://github.com/matthieu-m/ghost-collections.
Send us an email at buildingwithrust@gmail.com to suggest cool people or projects in the Rust ecosystem you'd like us to have on the show!
7 episodes
Share
Manage episode 294544613 series 2908666
Content provided by Sean Chen. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Sean Chen or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
We sat down with Ralf Jung who is, at the time of this recording, a post-doctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS). Ralf is part of the RustBelt project, which seeks to define and develop rigorous formal foundations for the Rust programming language.
We talked with Ralf about GhostCell, a technique for separating permissions from data in Rust that opens up possibilities and alternative strategies when it comes to working around Rust's "aliasing XOR mutability" rules, why there seems to be such a large gap between academic programming languages and "mainstream" programming languages, as well as what makes for a good PL researcher.
Ralf blogs about Rust, and other topics, at https://www.ralfj.de/blog/.
matthieu-m's Ghost Collections crate is referenced during the show and can be found at https://github.com/matthieu-m/ghost-collections.
Send us an email at buildingwithrust@gmail.com to suggest cool people or projects in the Rust ecosystem you'd like us to have on the show!
7 episodes
All episodes
×
Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.
Similar to Building with Rust
Show notes are at https://stevelitchfield.com/sshow/chat.html
…
continue reading
Three nerds discussing tech, Apple, programming, and loosely related matters.
…
continue reading
Discover a whole new take on Artificial Intelligence with Squirro's educational podcast! Join host Lauren Hawker Zafer, a top voice in Artificial Intelligence on LinkedIn, for insightful chats that unravel the fascinating world of tech innovation, use case exploration and AI knowledge. Dive into candid discussions with accomplished industry experts and established academics. With each episode, you'll expand your grasp of cutting-edge technologies and their incredible impact on society, and y ...
…
continue reading
Download This Show is your weekly guide to the world of media, culture, and technology. From social media to gadgets, streaming services to privacy issues. Each week Marc Fennell and a team of people far smarter than him (his words, not ours) take a fun deep dive into how technology is reshaping our lives.
…
continue reading
This is the audio podcast version of Troy Hunt's weekly update video published here: https://www.troyhunt.com/tag/weekly-update/
…
continue reading
Android Backstage, a podcast by and for Android developers. Hosted by developers from the Android engineering team, this show covers topics of interest to Android programmers, with in-depth discussions and interviews with engineers on the Android team at Google. Subscribe to Android Developers YouTube → https://goo.gle/AndroidDevs
…
continue reading
A podcast featuring panelists of engineers from Netflix, Twitch, & Atlassian talking over drinks about all things software engineering.
…
continue reading
The director’s commentary track for Daring Fireball. Long digressions on Apple, technology, design, movies, and more.
…
continue reading
Monday through Friday, Marketplace demystifies the digital economy in less than 10 minutes. We look past the hype and ask tough questions about an industry that’s constantly changing.
…
continue reading
Get the most out of your home theater with the latest advances, product reviews, and all things audio and video. Every Thursday, Scott Wilkinson shares his expertise, energy, and enthusiasm about how to make your A/V system sound and look its best. In this short-format podcast, Scott brings you news, reviews, interviews, and commentary, and answers your questions. You can join Club TWiT for $7 a month and get ad-free audio and video feeds for all our shows plus everything else the club offer ...
…
continue reading
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
