Sign up to save your podcasts
Or
Share 18: Matthias Pall Gissurarson & Jimmy Koppel
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
18: Matthias Pall Gissurarson & Jimmy Koppel
In this episode Matthias Pall Gissurarson & Jimmy Koppel are interviewed by Wouter Swierstra and Niki Vazou. They talk about program synthesis, typed holes, program repair, and generating properties using a new technique called ECTAs.
View all episodes
By Haskell Podcast
5
1111 ratings
In this episode Matthias Pall Gissurarson & Jimmy Koppel are interviewed by Wouter Swierstra and Niki Vazou. They talk about program synthesis, typed holes, program repair, and generating properties using a new technique called ECTAs.
More shows like The Haskell Interlude
View all
Hanselminutes with Scott Hanselman
377 Listeners
Software Engineering Radio - the podcast for professional software developers
272 Listeners
The Changelog: Software Development, Open Source
284 Listeners
Making Sense with Sam Harris
26,332 Listeners
Conversations with Tyler
2,396 Listeners
The Quanta Podcast
483 Listeners
FiveThirtyEight Politics
19,705 Listeners
CoRecursive: Coding Stories
189 Listeners
Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
4,130 Listeners
Dwarkesh Podcast
356 Listeners
Hard Fork
5,399 Listeners
The Ezra Klein Show
15,313 Listeners
Ones and Tooze
341 Listeners
Oxide and Friends
47 Listeners
Latent Space: The AI Engineer Podcast
76 Listeners