Podcast Episodes

63: Farhad Mehta

Episode 63

On this episode of the Haskell Interlude, Andres Löh and Mike Sperber are joined by Farhad Mehta, a professor at OST Rapperswil, and one of the organizers of ZuriHac. Fahrad tells us about formal met…

Published on 7 months, 3 weeks ago

62: Conal Elliott

In this episode Wouter Swiestra and Niki Vazou talk with Conal Elliott. Conal discusses doing things just for the poetry, how most programs miss their purpose, and the simplest way to ask a question.…

Published on 8 months, 3 weeks ago

61: Sam Lindley

Season 1 Episode 61

Sam Lindley is a Reader in Programming Languages Design and Implementation at the University of Edinburgh. In this episode, he tells us how difficult naming is, the different kinds of effect systems …

Published on 9 months, 3 weeks ago

60: Tom Ellis

Tom Ellis works at Groq, using Haskell to compile AI models to specialized hardware.  In this episode, we talk about stability of both GHC and Haskell libraries, effects, and strictness, and the prem…

Published on 10 months, 3 weeks ago

59: Harry Goldstein

Episode 59

Sam and Wouter interview Harry Goldstein, a researcher in property-based testing who works in PL, SE, and HCI. In this episode, we reflect on random generators, the find-a-friend model, interdiscipli…

Published on 11 months ago

58: ICFP 2024

Season 1 Episode 58

In this episode, Matti and Sam traveled to the International Conference on Functional Programming (ICFP 2024) in Milan, Italy, and recorded snippets with various participants, including keynote speak…

Published on 11 months, 3 weeks ago

57: Gabriele Keller

Season 1 Episode 57

Gabriele Keller, professor at Utrecht University, is interviewed by Andres and Joachim. We follow her journey through the world as well as programming languages, learn why Haskell is the best environ…

Published on 1 year ago

56: Satnam Singh

Season 1 Episode 56

Today on the Haskell Interlude, Matti and Sam are joined by Satnam Singh. Satnam has been a lecturer at Glasgow, and Software Engineer at Google, Meta, and now Groq. He talks about convincing people …

Published on 1 year, 1 month ago

55: Sebastian Ullrich

Season 1 Episode 55

In this episode, Niki and Andres talk with Sebastian, one of the main developers of Lean, currently working at the Lean Focused Research Organization. Today we talk about the addictive notion of theo…

Published on 1 year, 2 months ago

54: Dominic Orchard

Season 1 Episode 54

In this episode, Wouter and Sam interview Dominic Orchard. Dominic has many roles, including: senior lecturer at the University of Kent, co-director of the Institute of Computing for Climate Science,…

Published on 1 year, 3 months ago