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

33 ratings


More shows like ADSP: Algorithms + Data Structures = Programs

View all
Software Engineering Radio by se-radio@computer.org

Software Engineering Radio

271 Listeners

Hanselminutes with Scott Hanselman by Scott Hanselman

Hanselminutes with Scott Hanselman

380 Listeners

The Changelog: Software Development, Open Source by Changelog Media

The Changelog: Software Development, Open Source

291 Listeners

CppCast by Phil Nash & Timur Doumler

CppCast

107 Listeners

Software Engineering Daily by Software Engineering Daily

Software Engineering Daily

624 Listeners

Talk Python To Me by Michael Kennedy

Talk Python To Me

589 Listeners

Python Bytes by Michael Kennedy and Brian Okken

Python Bytes

214 Listeners

Data Engineering Podcast by Tobias Macey

Data Engineering Podcast

145 Listeners

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

Syntax - Tasty Web Development Treats

987 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

188 Listeners

The Stack Overflow Podcast by The Stack Overflow Podcast

The Stack Overflow Podcast

62 Listeners

The Real Python Podcast by Real Python

The Real Python Podcast

141 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

37 Listeners

Oxide and Friends by Oxide Computer Company

Oxide and Friends

59 Listeners