Menu
Sign In Search Podcasts Charts People & Topics Add Podcast API Pricing
Podcast Image

ADSP: Algorithms + Data Structures = Programs

Episode 204: ๐Ÿ‡ช๐Ÿ‡ธ Lambda World Live ๐Ÿ‡ช๐Ÿ‡ธ

18 Oct 2024

Description

In this episode, Conor interviews Andor, Stephen and an attendee from Lambda World 2024.Link to Episode 204 on WebsiteDiscuss this episode, leave a comment, or ask a question (on GitHub)TwitterADSP: The PodcastConor HoekstraGuests InterviewedAndor PรฉnzesStephen TaylorShow NotesDate Recorded: 2024-10-04Date Released: 2024-10-18Lambda WorldADSP Episode 133: ๐Ÿ‡ต๐Ÿ‡ฑ Lambda Days Live ๐Ÿ‡ต๐Ÿ‡ฑ Josรฉ Valim, Alexis King & More!Lambda World 2024 - The Butcherbird Combinator - Chris FordLambda World 2024 - Scala Sampler for Functional Soundscapes - Johanna OderskyUnite 2024 Barcelone (Unity Conference)Examples of easy dependently typed programming (in Idris) by Andor Penzes | Lambda Days 2023Dependently-Typed Python by Andor Penzes | Lambda Days 2024DepPy (Dependently Typed Python)CORECURSIVE #065 From Competitive Programming to APL With Conor HoekstraY CombinatorCategory Theory for Programmers - Bartosz MilewskiDevWorld ConferenceQCon ConferenceScala Days ConferenceLambda World 2024 - Stephen Taylor TalkAbove Average in APLDon't Be Mean in APLAPL Wiki MerchCan Programming Be Liberated from the von Neumann Style? John Backus Turing Award PaperLambda World 2024 - The Power of Function Composition - Conor HoekstraLambda World 2024 - Kamila Szewczyk TalkIntro Song InfoMiss You by Sarah Jansen https://soundcloud.com/sarahjansenmusicCreative Commons โ€” Attribution 3.0 Unported โ€” CC BY 3.0Free Download / Stream: http://bit.ly/l-miss-youMusic promoted by Audio Library https://youtu.be/iYYxnasvfx8

Audio
Featured in this Episode

No persons identified in this episode.

Transcription

This episode hasn't been transcribed yet

Help us prioritize this episode for transcription by upvoting it.

0 upvotes
๐Ÿ—ณ๏ธ Sign in to Upvote

Popular episodes get transcribed faster

Comments

There are no comments yet.

Please log in to write the first comment.