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!

Den här podcasten är hämtad från ett öppet RSS-flöde och publiceras inte av Podme. Den kan innehålla reklam.

Avsnitt(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 Juli 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 Juni 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 Juni 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 Maj 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 Maj 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 Apr 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 Apr 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 Mars 202455min

Populärt inom Teknik

uppgang-och-fall
skogsforum-podcast
 och-bilen-gar-bra
rss-uppgang-och-fall
rss-elektrikerpodden
elbilsveckan
rss-laddstationen-med-elbilen-i-sverige
rss-en-ai-till-kaffet
developers-mer-an-bara-kod
bosse-bildoktorn-och-hasse-p
rss-veckans-ai
market-makers
bli-saker-podden
rss-milpodden
natets-morka-sida
rss-fabriken-2
rss-upplyst-entreprenordirektor
rss-jonas-jaani-podcast
rss-elektrifieringspodden
rss-it-sakerhetspodden