Переходьте в офлайн за допомогою програми Player FM !
Episode 204: 🇪🇸 Lambda World Live 🇪🇸
Manage episode 445749051 series 2827294
In this episode, Conor interviews Andor, Stephen and an attendee from Lambda World 2024.
Guests Interviewed
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
210 епізодів
Manage episode 445749051 series 2827294
In this episode, Conor interviews Andor, Stephen and an attendee from Lambda World 2024.
Guests Interviewed
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
210 епізодів
Усі епізоди
×Ласкаво просимо до Player FM!
Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.