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
Software Engineering Radio by se-radio@computer.org

Software Engineering Radio

271 Listeners

The Changelog: Software Development, Open Source by Changelog Media

The Changelog: Software Development, Open Source

289 Listeners

CppCast by Phil Nash & Timur Doumler

CppCast

106 Listeners

Software Engineering Daily by Software Engineering Daily

Software Engineering Daily

626 Listeners

Talk Python To Me by Michael Kennedy

Talk Python To Me

585 Listeners

Python Bytes by Michael Kennedy and Brian Okken

Python Bytes

215 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

190 Listeners

The Stack Overflow Podcast by The Stack Overflow Podcast

The Stack Overflow Podcast

64 Listeners

The Real Python Podcast by Real Python

The Real Python Podcast

142 Listeners

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

Machine Learning Street Talk (MLST)

95 Listeners

Two's Complement by Ben Rady and Matt Godbolt

Two's Complement

31 Listeners

The Array Cast by The Array Cast

The Array Cast

38 Listeners

Software Unscripted by Richard Feldman

Software Unscripted

29 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

62 Listeners

Training Data by Sequoia Capital

Training Data

39 Listeners