The Haskell Interlude

The Haskell Interlude

This is the Haskell Interlude, where the five co-hosts (Wouter Swierstra, Andres Löh, Alejandro Serrano, Niki Vazou, and Joachim Breitner) chat with Haskell guests!

Tämä podcast on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi podcastin jaksot saattavat sisältää mainontaa.

Jaksot(85)

52: Pepe Iborra

52: Pepe Iborra

Andres and Sam interview Pepe Iborra, exploring his journey from academia via banking to now Meta. In this episode, we discuss Pepe’s involvement in the evolution of the Haskell ecosystem, in particul...

2 Heinä 202456min

51: Victor Cacciari Miraldo

51: Victor Cacciari Miraldo

Victor Miraldo is interviewed by Niki and Joachim and walks us through this career from a student falling in love with List.foldr through a PhD student using agda to verify cryptographic data structur...

16 Kesä 202449min

50: Tom Sydney Kerckove

50: Tom Sydney Kerckove

In this episode Tom Sydney is chatting with Matti Paul and Niki Vazou. Tom is the author of many tools, like sydtest, decking, and nix-ci. He tells us about the rules for sustainable Haskell, how Hask...

1 Kesä 202440min

49: Arseniy Seroka

49: Arseniy Seroka

Wouter and Joachim interview Arseny Seroka, CEO of Serokell. Arseny got into Haskell because of a bet over Pizza, fell for it because it means fewer steps between his soul and his work, and founded Se...

15 Touko 202448min

48: José Nuno Oliveira

48: José Nuno Oliveira

In this episode, Andres Löh and Matthías Páll Gissurarson interview José Nuno Oliveira, who has been teaching Haskell for 30 years. José talks about how Haskell is the perfect language to introduce pr...

2 Touko 202454min

47: Avi Press

47: Avi Press

Avi Press is interviewed by Joachim Breitner and Andres Löh. Avi is the founder of Scarf, which uses Haskell to analyze how open source software is used. We’ll hear about the kind of shitstorm telemet...

17 Huhti 202454min

46: effectfully

46: effectfully

Roman, known better online as effectfully, is interviewed by Wouter and Joachim. On his path to becoming a Plutus language developer at IOG, he learned English to read Software Foundations, has enco...

2 Huhti 202452min

45: András Kovács

45: András Kovács

In this episode, András Kovács is being interviewed by Andres Löh and Matthias Pall Gissurarson. We learn how to go from economics to functional programming, how GHC's runtime system is superior to Ru...

18 Maalis 202455min