Home Ask AI Library You

Prev

Next

Home Ask AI Library You

Enjoy Podwise!

··:····:··

#53 - RustBelt, Iris, and the Art of Writing - Derek Dreyer | Type Theory Forall | Podwise

Podcast Cover

27 Aug 2025

2h 25m

#53 - RustBelt, Iris, and the Art of Writing - Derek Dreyer

Type Theory Forall

Type Theory Forall - #53 - RustBelt, Iris, and the Art of Writing - Derek Dreyer

Sign in to continue reading, translating and more.

mindmap screenshot

Preview

preview episode cover

How to Get Rich: Every EpisodeNaval