• Hjem
  • Podkaster
  • Toppliste

Functional Geekery Episode 77 – Jared Roesch

Functional Geekery - En podkast av Proctor

Prøv Podimo gratis i hele 60! dager!

Prøv Podimo gratis i hele 60! dager!

I Podimo finner du eksklusive podkaster og bestselgende lydbøker tilpasset dine ører

Reklame

Kategorier:

Teknologi

In this episode I talk with Jared Roesch. We talk his history of functional programming, work on the Rust compiler, dependent types, the Lean Proving Language, and much, much more.

Visit the podcast's native language site

  • Alle podkaster
  • Episoder
  • Blogg
  • Om oss
  • Personvernpolicy
  • Hva er en podkast?
  • Hvordan lytte til en podkast?

© Podkast24.no 2025