<p>In this episode, I talk briefly about Rust, which uses compile-time analysis to ensure that code is memory-safe (and also free of data races in concurrent code) without using a garbage collector.  Fantastic!  The language draws on but richly develops ideas on ownership that originated in academic research.</p>

In this episode, I talk briefly about Rust, which uses compile-time analysis to ensure that code is memory-safe (and also free of data races in concurrent code) without using a garbage collector. Fantastic! The language draws on but richly develops ideas on ownership that originated in academic research.

<p>In this episode, I talk briefly about Rust, which uses compile-time analysis to ensure that code is memory-safe (and also free of data races in concurrent code) without using a garbage collector.&nbsp; Fantastic!&nbsp; The language draws on but richly develops ideas on ownership that originated in academic research.</p>

Let's talk about Rust

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

Share Let's talk about Rust

Sign up to save your podcasts

Let's talk about Rust

Let's talk about Rust

More shows like Iowa Type Theory Commute

Dwarkesh Podcast

Type Theory Forall