talk-data.com talk-data.com

A

Speaker

Andor Pénzes

2

talks

guest

Frequent Collaborators

Filter by Event / Source

Talks & appearances

2 activities · Newest first

Search activities →

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)Twitter ADSP: The PodcastConor HoekstraGuests Interviewed Andor PénzesStephen TaylorShow Notes Date Recorded: 2024-10-04 Date Released: 2024-10-18 Lambda 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 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

In this episode, Conor interviews speakers & attendees live from Lambda Days 2023! Link to Episode 133 on WebsiteDiscuss this episode, leave a comment, or ask a question (on GitHub)Twitter ADSP: The PodcastConor HoekstraBryce Adelstein LelbachGuests Interviewed Toby PfiefferKim HuizingAlexis KingJosé ValimAndor PénzesPeer StritzingerShow Notes Date Recorded: 2023-06-06 Date Released: 2023-06-09 Lambda Days 2023Elixir LanguageElixir Benchee Benchmarking LibraryRuby Berlin User Group MeetingLambda Days 2023: Stories In Open Soure - Toby PfeifferLambda Days 2018 - Tobias Pfeiffer - Stop Guessing and Start Measuring - Benchmarking in PracticeDevon Estes - Digging through the garbage - Code BEAM Lite Berlin 18Scala LanguageAWK LanguageAlexis King’s BlogLambda Days 2023: Delimited Continuations Demystified - Alexis KingZuriHac 2023: Delimited Continuations Demystified - Alexis KingRacket LanguageSlideshow LanguageLambda Days 2023: Meta-programmable functional notebooks with Livebook - José ValimThinking Elixir PodcastLambda Days 2021: Introducing Nx - José ValimElixir NxElixir LiveBookElixir PhoenixElixir MembraneKeynote: Celebrating the 10 Years of Elixir | José Valim | ElixirConf EU 2022Elixir ForumSponsor: Evolution EngineeringLambda Days 2023: Examples of easy dependently typed programming (in Idris) - Andor PénzesType Driven Development by Edwin BradyFunctional FemalesGRiSPErlang LanguageWhatsApp acquired for 19BGRiSP on TwitterIntro 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