ADSP: Algorithms + Data Structures = Programs

Episode 204: 🇪🇸 Lambda World Live 🇪🇸


Listen Later

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

...more
View all episodesView all episodes
Download on the App Store

ADSP: Algorithms + Data Structures = ProgramsBy Conor Hoekstra, Bryce Adelstein Lelbach & Ben Deane

  • 4.4
  • 4.4
  • 4.4
  • 4.4
  • 4.4

4.4

37 ratings


More shows like ADSP: Algorithms + Data Structures = Programs

View all
The Changelog: Software Development, Open Source by Changelog Media

The Changelog: Software Development, Open Source

287 Listeners

CppCast by Mathieu Ropert & Jason Turner

CppCast

106 Listeners

Software Engineering Daily by Software Engineering Daily

Software Engineering Daily

623 Listeners

Talk Python To Me by Michael Kennedy

Talk Python To Me

583 Listeners

The Quanta Podcast by Quanta Magazine

The Quanta Podcast

546 Listeners

Syntax - Tasty Web Development Treats by Wes Bos & Scott Tolinski - Full Stack JavaScript Web Developers

Syntax - Tasty Web Development Treats

987 Listeners

Tech Brew Ride Home by Morning Brew

Tech Brew Ride Home

964 Listeners

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

4,182 Listeners

Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

Machine Learning Street Talk (MLST)

97 Listeners

Big Technology Podcast by Alex Kantrowitz

Big Technology Podcast

510 Listeners

Two's Complement by Ben Rady and Matt Godbolt

Two's Complement

31 Listeners

Software Unscripted by Richard Feldman

Software Unscripted

29 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

65 Listeners

Latent Space: The AI Engineer Podcast by Latent.Space

Latent Space: The AI Engineer Podcast

101 Listeners

Tacit Talk by Conor Hoekstra

Tacit Talk

5 Listeners