cover of episode Episode 204: 🇪🇸 Lambda World Live 🇪🇸

Episode 204: 🇪🇸 Lambda World Live 🇪🇸

2024/10/18
logo of podcast Algorithms + Data Structures = Programs

Algorithms + Data Structures = Programs

Frequently requested episodes will be transcribed first

Shownotes Transcript

In this episode, Conor interviews Andor, Stephen and an attendee from Lambda World 2024.

  • Link to Episode 204 on Website)
  • Discuss this episode, leave a comment, or ask a question (on GitHub))

Twitter

  • ADSP: The Podcast)
  • Conor Hoekstra)

Guests Interviewed

  • Andor Pénzes)
  • Stephen Taylor)

Show Notes

Date Recorded: 2024-10-04Date Released: 2024-10-18

  • Lambda World)
  • ADSP Episode 133: 🇵🇱 Lambda Days Live 🇵🇱 José Valim, Alexis King & More!)
  • Lambda World 2024 - The Butcherbird Combinator - Chris Ford)
  • Lambda World 2024 - Scala Sampler for Functional Soundscapes - Johanna Odersky)
  • Unite 2024 Barcelone (Unity Conference))
  • Examples of easy dependently typed programming (in Idris) by Andor Penzes | Lambda Days 2023)
  • Dependently-Typed Python by Andor Penzes | Lambda Days 2024
  • DepPy (Dependently Typed Python))
  • CORECURSIVE #065 From Competitive Programming to APL With Conor Hoekstra)
  • Y Combinator)
  • Category Theory for Programmers - Bartosz Milewski)
  • DevWorld Conference)
  • QCon Conference)
  • Scala Days Conference)
  • Lambda World 2024 - Stephen Taylor Talk
  • Above Average in APL)
  • Don't Be Mean in APL)
  • APL Wiki Merch)
  • Can Programming Be Liberated from the von Neumann Style? John Backus Turing Award Paper)
  • Lambda World 2024 - The Power of Function Composition - Conor Hoekstra)
  • Lambda World 2024 - Kamila Szewczyk Talk

Intro Song Info

Miss You by Sarah Jansen https://soundcloud.com/sarahjansenmusic)Creative Commons — Attribution 3.0 Unported — CC BY 3.0Free Download / Stream: http://bit.ly/l-miss-you)Music promoted by Audio Library https://youtu.be/iYYxnasvfx8)