x

75% of people globally want unbiased news (Pew Research) but are concerned they're not getting that.

Get balanced coverage with Symby. See how stories are covered across diverse outlets and spot when one side covers a story the other skips.

PODCAST

The Haskell Interlude

Haskell Podcast

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!

technology

All Episodes

50:44

27: Christiaan Baaij

The Haskell Interlude ·

2023/05/25

In this episode Christiaan Baaij is interviewed by Wouter Swierstra and Mattias Páll. Christiaan talks about his work on the Clash compiler, what it is like to found your own company, his desire for ergonomic dependent types, and the foundations to all his success, namely capitalising on luck.Errata: Around the 21m19s mark Christiaan talks about “his“ contributions to GHC with regards to dynamic linking on OSX. Later he remembered that it was actually Moritz Angermann who [worked on the symbol limit

en-us

54:30

26: Simon Marlow

The Haskell Interlude ·

2023/05/25

In this episode Simon Marlow talks with Andres Löh and Matthias Pall. Simon is a long time GHC contributor, currently working at Meta. He talks about compiling functional languages via C and the Evil Mangler, the importance of using parallelism and its impact on garbage collection, and about using Haskell in the real world via Sigma, Haxl, and Glean.

en-us

45:46

25: Bodigrim

The Haskell Interlude ·

2023/04/28

In this episode Joachim Breitner and Wouter Swierstra talk to Andrew Lelechenko, also known as Bodigrim. Bodigrim went from a being a mathematician to a failed PHP developer the chair of the Core Libraries Committee. In this episode, we discuss whether he prefers number theory or Haskell, whether he prefers working with compilers or PHP frameworks, and whether he prefers high salaries for Haskell developers or breaking changes to the base library

en-us

56:32

24: Jeremy Gibbons

The Haskell Interlude ·

2023/04/10

en-us

46:20

23: Ben Gamari

The Haskell Interlude ·

2023/03/22

en-us

48:39

22: Alejandro Russo

The Haskell Interlude ·

2023/02/27

en-us

44:14

21: Andrey Mokhov

The Haskell Interlude ·

2023/02/13

en-us

50:29

20: Jesper Cockx

The Haskell Interlude ·

2023/01/16

In this episode Jesper Cockx, one of the main Agda developers, is interviews by Niki Vazou and Matthias Pall. They talk about how to explain dependent types to one's father, how Agda’s automation and proof search work, and how Agda can be used to verify Haskell code bases.

en-us

50:26

19: Marc Scholten

The Haskell Interlude ·

2022/12/07

en-us

39:08

18: Matthias Pall Gissurarson & Jimmy Koppel

The Haskell Interlude ·

2022/11/16

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.

en-us

48:05

17: Ningning Xie

The Haskell Interlude ·

2022/10/25

Ningning Xie is interviewed by Niki Vazou and Andres Loh. Ningning first contributed to GHC at her Google summer of code project with a very ambitious goal of implementing the whole dependent Haskell. Also later she fixed several ghc bugs and worked on Koka’s Algebraic effects. Her future hope and advice is to use programming language concepts on real-word problems.

en-us

50:31

16: Oskar Wickström

The Haskell Interlude ·

2022/08/31

Oskar Wickström is interviewed by Wouter Swierstra and Alejandro Serrano, he will tell us a little bit about property-based testing (PBT) Haskell code but also applying these ideas to the testing of complete systems. He will say a little bit about interfacing Haskell to other languages and even with your web browser and what it's like to learn Rust as a Haskell programmer.

en-us

56:38

15: Facundo Dominguez

The Haskell Interlude ·

2022/07/14

en-us

50:57

14: Ryan Trinkle

The Haskell Interlude ·

2022/06/28

en-us

55:20

13: David Christiansen

The Haskell Interlude ·

2022/06/05

en-us

77:54

12: Gergő Érdi

The Haskell Interlude ·

2022/05/09

Gergő Érdi is interviewed by Wouter Swierstra and Andres Löh. Gergő has an interesting path into Haskell taking many twists and turns. This episode discusses about these twists and Gergő's recent book on implementing retro computers using Haskell.

en-us

65:08

11: Simon Peyton Jones

The Haskell Interlude ·

2022/03/25

en-us

56:14

10: Nadia Polikarpova

The Haskell Interlude ·

2022/03/05

Nadia Polikarpova is interviewed by Alejandro Serrano and Niki Vazou. Nadia is an assistant professor at UCSD, where she works on improving how we write programs. They talk about some of her projects, like Hoogle+ and Synquid, and how she approaches teaching about these topics.

en-us

61:54

09: Sebastian Graf

The Haskell Interlude ·

2022/02/10

en-us

64:08

08: Théophile Choutri

The Haskell Interlude ·

2022/01/07

Niki Vazou and Andres Löh are joined by guest Théophile Choutri (they/them), who also goes by Hécate. Théophile coordinates multiple projects and volunteer groups within the Haskell Foundation, notably the Haskell School project (intending to provide a free online open source library for teaching Haskell), and works on improving GHC core documentation and developing an alternative to Hackage. Together they discuss Théophile's introduction to Haskell and their ongoing projects with the

en-us

68 results

Similar Podcasts

Lead With AI

Tamara Nall

Linux in the Ham Shack

Black Sparrow Media

Data Engineering Podcast

Tobias Macey

Eye On A.I.

Craig S. Smith

Reflections

Livewire Labs