Ralf Jung on GhostCell and Working as a PL Researcher

Building with Rust

Player FM - Internet Radio Done Right

32 subscribers

הוסף לפני four שנים

תוכן מסופק על ידי Sean Chen. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Sean Chen או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

Netflix Sports Club Podcast

1
America’s Sweethearts: Dallas Cowboys Cheerleaders Season 2 - Tryouts, Tears, & Texas 32:48

לפני 5 weeks32:48

הפעל מאוחר יותר

רשימות

לייק

אהבתי

32:48

America’s Sweethearts: Dallas Cowboys Cheerleaders is back for its second season! Kay Adams welcomes the women who assemble the squad, Kelli Finglass and Judy Trammell, to the Netflix Sports Club Podcast. They discuss the emotional rollercoaster of putting together the Dallas Cowboys Cheerleaders. Judy and Kelli open up about what it means to embrace flaws in the pursuit of perfection, how they identify that winning combo of stamina and wow factor, and what it’s like to see Thunderstruck go viral. Plus, the duo shares their hopes for the future of DCC beyond the field. Netflix Sports Club Podcast Correspondent Dani Klupenger also stops by to discuss the NBA Finals, basketball’s biggest moments with Michael Jordan and LeBron, and Kevin Durant’s international dominance. Dani and Kay detail the rise of Coco Gauff’s greatness and the most exciting storylines heading into Wimbledon. We want to hear from you! Leave us a voice message at www.speakpipe.com/NetflixSportsClub Find more from the Netflix Sports Club Podcast @NetflixSports on YouTube, TikTok, Instagram, Facebook, and X. You can catch Kay Adams @heykayadams and Dani Klupenger @daniklup on IG and X. Be sure to follow Kelli Finglass and Judy Trammel @kellifinglass and @dcc_judy on IG. Hosted by Kay Adams, the Netflix Sports Club Podcast is an all-access deep dive into the Netflix Sports universe! Each episode, Adams will speak with athletes, coaches, and a rotating cycle of familiar sports correspondents to talk about a recently released Netflix Sports series. The podcast will feature hot takes, deep analysis, games, and intimate conversations. Be sure to watch, listen, and subscribe to the Netflix Sports Club Podcast on YouTube, Spotify, Tudum, or wherever you get your podcasts. New episodes on Fridays every other week.…

לפני 4 שנים 55:35

M4A•בית הפרקים

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 פרקים

#Tech #Sean Chen

Ralf Jung on GhostCell and Working as a PL Researcher

Building with Rust

32 subscribers

published לפני 4 שנים

שתפו

M4A•בית הפרקים

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 פרקים

#Tech #Sean Chen

כל הפרקים

1
Ernest Kissiedu on the DevX Initiative 55:46

לפני 3 years55:46

55:46

This episode, we're joined by Ernest Kissiedu, who is the community lead of the Rust London user group as well as a co-founder of the DevX Initiative, which empowers current and would-be Rust contributors through research, workshops, and sponsorship. Ernest tells the story of how he fell in love with Rust, how he got into organizing one of the largest local Rust user groups, as well as how he started the DevX Initiative. He also opens up about the challenges he faces running such a unique initiative, along with the possible shiny future of Rust that he hopes the DevX Initiative will help bring to fruition. Blog post announcing that the DevX Initiative is now independent: https://medium.com/@thedevxinitiative/the-independent-devx-initiative-3aff64fcf3dc . You can find the DevX Initiative on Twitter @DevXInitiative . You can find the Rust London user group on Twitter @RustLondon_ . You can send us an email at buildingwithrust AT gmail DOT com or find us in the Rustacean Station Discord server . Timestamps 00:26 - Welcome 00:35 - Ernest's intro 01:26 - How Ernest got into Rust 09:02 - Rust game development in the early days 11:46 - Rust's community is its most compelling feature 13:28 - Ernest's journey to becoming community lead of the Rust London user group 22:30 - How Ernest co-founded the DevX Initiative 29:00 - The DevX Initiative going independent 34:34 - DevX and the Rust Foundation are both working towards the same goal 38:00 - Ernest's personal projects 43:42 - Contributing in ways other than coding 48:16 - Widening the definition of what it means to be a 'contributor' 50:26 - Summarizing and wrapping up 53:41 - Ernest's sign-off 55:16 - Outro…

1
Nick Cameron on Juggling Open Source Work and Parenthood 57:54

לפני 3 years57:54

57:54

Nick Cameron sat down to chat with us about his Rust journey, including his experiences working as a member of the Rust core team back in the language's pre-1.0 days. He left the core team and open source contributor-ship in 2019 due to his growing family, but has since returned to full-time open source work; he spends most of his time now consolidating the different pillars that make up Rust's async ecosystem. Through it all, he has learned how to effectively juggle open source work with his priorities as a parent and family man. Nick's website is https://ncameron.org . You can follow him on Twitter @nick_r_cameron . The Rust 2021 annual survey results blog post: https://blog.rust-lang.org/2022/02/15/Rust-Survey-2021.html Nick's blog post on the portable and interoperable async Rust initiative: https://www.ncameron.org/blog/portable-and-interoperable-async-rust/ Nick's Rust in 2022 blog post: https://www.ncameron.org/blog/rust-in-2022-2/ You can send us an email at buildingwithrust AT gmail DOT com or find us in the Rustacean Station Discord server . Timestamps 1:09 - Nick's intro 2:04 - Nick's history with Rust 7:14 - Memories from working on Rust pre-1.0 8:48 - Dynamically-sized types have some rough edges 12:31 - Reflecting on the Rust core team 17:43 - The portable and interoperable async initiative 31:16 - How much should the Rust standard library support async programming? 35:47 - Returning to full-time open source work 46:08 - Juggling open source work and parenting 55:00 - Nick's sign-off 57:28 - Outro…

1
Josh Triplett on Building the Build System of his Dreams 1:13:48

לפני 3 years1:13:48

1:13:48

We sat down with Josh Triplett, co-lead of the Rust Language team, to chat about his journey into Rust contributorship and what considerations he makes when iterating on a language as widely-used as Rust. We also discuss Josh's ideal build system, as well as what changes he thinks the Rust language and community need to make in order for Rust to stay relevant well into the future. If you're interested in finding out more about the build system Josh is building, head on over to https://buildit.dev . The Lang team's decision-making process is documented over at https://lang-team.rust-lang.org/decision_process.html . Josh's homepage is located at https://joshtriplett.org . You can find him on Twitter @josh_triplett . You can send us an email at buildingwithrust AT gmail DOT com or find us in the Rustacean Station Discord server . Timestamps 0:40 - Welcome 0:52 - Josh's intro 1:29 - How Josh is spending his days 3:05 - Josh's initial experiences playing with Rust 7:14 - How Josh got into contributing to Rust 8:42 - Explaining some of Rust's pre-1.0 features 11:43 - Why do some features get stabilized and others don't? 13:12 - Important language design considerations 17:42 - Most memorable moments working on the Lang team 23:45 - Difficulties to working on the Lang team 25:51 - How do you keep your Rust work sustainable? 30:30 - What are the most important things in Rust that need working on? 34:12 - Advice for those looking to do more high-impact but less visible work 37:21 - Writing code is not the only way to contribute to Rust 39:34 - Why build a new build system? 50:09 - Long-term changes to the Rust language and community you'd like to see 1:05:29 - What fictional world would Josh most like to visit? 1:11:58 - Josh's sign-off 1:13:15 - Outro…

1
Leonora Tindall on Co-Authoring the 2nd Edition of Programing Rust 56:35

לפני 4 years56:35

56:35

We chat with Leonora Tindall, one of the co-authors of the 2nd edition of Programming Rust , about her experiences working on the book, the various roles she has worked in using Rust, and about the state of academic computer science education. Nora's blog can be found at https://nora.codes/ . Her Twitter handle is @NoraDotCodes . Visit https://play.google.com/store?code=3MNQ2X1ZPV6TT to receive 40% off the full price of Programming Rust 2nd Edition . You can send us an email at buildingwithrust AT gmail DOT com or find us in the Rustacean Station Discord server . Timestamps 0:40 - Welcome 1:12 - Nora's intro 1:58 - Thoughts on podcasts in the Rust community 4:12 - Are you ok with listening to your own recorded voice? 5:13 - Nora's work history 8:29 - Working on the second edition of Programming Rust 12:00 - Developing empathy as educators 15:40 - Keeping the Mandelbrot renderer project from the first edition 17:30 - Who should you buy the second edition of Programming Rust ? 24:31 - Learning programming should be more fun 26:37 - Working on cancer discovery at CancerIQ 33:23 - Working on edge delivery at Fastly 35:18 - Being California transplants to the midwest 36:37 - Nora's unconventional college experience 37:58 - Shuffleboard as a team-building activity 38:45 - Thoughts on academic computer science education 49:12 - What fictional world would you most like to visit? 55:01 - Nora's sign-off 56:09 - Outro…

1
Ralf Jung on GhostCell and Working as a PL Researcher 55:35

לפני 4 years55:35

55:35

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!…

1
Tim McNamara on Rust in Action 43:20

לפני 4 years43:20

43:20

We talk to Tim McNamara, the author of the book Rust in Action and "New Zealand's Rust guy", about the wonders of New Zealand, the writing and publishing process for his book, and wrestling with impostor syndrome despite being a published Rust author. Listen in for a special promo code to get a discount on Rust in Action ! You can find Tim on Twitter @timClicks . A transcript for this episode is available at https://github.com/seanchen1991/building-with-rust/blob/main/transcripts/002.md . Send us an email at buildingwithrust@gmail.com to suggest cool people or projects in the Rust ecosystem you'd like to hear us chat with!…

1
Luca Palmieri on TrueLayer and Zero to Production 38:27

לפני 4 years38:27

38:27

In our inaugural episode, we talk to Luca Palmieri who built Rust machine learning libraries including ndarray-stats and linfa . For his day job, he works on TrueLayer's PayDirect product, which is built top-to-bottom in Rust. Luca's current side project is writing Zero to Production , a guide on Rust backend development. You can find Luca on Twitter @algo_luca . A transcript for this episode is available at https://github.com/seanchen1991/building-with-rust/blob/main/transcripts/001.md . Send us an email at buildingwithrust@gmail.com to suggest cool people or projects in the Rust ecosystem you'd like to hear us chat with!…

ברוכים הבאים אל Player FM!

Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.