Episode 204: 🇪🇸 Lambda World Live 🇪🇸

Algorithms + Data Structures = Programs

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-04
Date 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.0
Free Download / Stream: http://bit.ly/l-miss-you
Music promoted by Audio Library https://youtu.be/iYYxnasvfx8