Advanced Memory Management in Vale (with Evan Ovadia)
Rust changed the discussion around memory management - this week's guest hopes to push that discussion even further. This week we're joined by Evan Ovadia, creator of the Vale programming language and collector of memory management techniques from far and wide. He takes us through his most important ones, including linear types, generation references and regions, to see what Evan hopes the future of memory management will look like. If you've been interested in Rust's borrow-check and want more (or want different!) then Evan has some big ideas for you to sink your teeth into. – Vale: https://vale.dev/ The Vale Discord: / discord Evan’s Blog: https://verdagon.dev/home Evan’s 7DRL Entry: https://verdagon.dev/blog/higher-raii... 7DRL: https://7drl.com/ https://verdagon.dev/grimoire/grimoire What Colour Is Your Function?: https://journal.stuffwithstuff.com/20... 42, the language: https://forty2.is/ Verona Language: https://www.microsoft.com/en-us/resea... Austral language: https://austral-lang.org/ Surely You’re Joking, Mr Feynman! (book): / surely-you-re-joking-mr-feynman Evan on Twitter: / verdagon Find Evan in the Vale Discord: / discord Kris on Mastodon: http://mastodon.social/@krisajenkins Kris on LinkedIn: / krisjenkins Kris on Twitter: / krisajenkins – #software #programming #podcast #valelang 0:00 Intro 2:14 Podcast 1:08:06 Outro

Is Odin "Programming done right"? (with Bill Hall)

Taking Erlang to OCaml 5 (with Leandro Ostera)

Actor Model Programming: Building Resilient Distributed Systems (with Hugh McKee)

How Unison is Rethinking Distributed Programming (with Rúnar Bjarnason)

Zig Meets the BEAM: Garrison Hinson-Hasty & Isaac Yonemoto on Safer Native Code

The Vlang Drama

Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker

The Uncomfortable Truth About AI “Reasoning” | World Science Festival

Will we be writing Hare in 2099? (with Drew DeVault)

Cuis Smalltalk and the History of Computing’s Future (with Juan Vuletich)

InfluxDB: The Evolution of a Time Series Database (with Paul Dix)

PyO3: From Python to Rust and Back Again (with David Hewitt)

Roc - A Functional Language looking for those Software Sweetspots (with Richard Feldman)

Mojo Lang - Tomorrow's High Performance Python? (with Chris Lattner)

What's Zig got that C, Rust and Go don't have? (with Loris Cro)

Rust & Zig Combined • Richard Feldman • GOTO 2023

Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)

The World's Most Important Machine

How C Really Works

