We just published a new episode of the Haskell Interlude with Bartosz Milewski being interviewed by me and Wouter Swierstra . Thanks Bartosz, it was great having you on the show!

Listen to Iavor Diatchki chat with Wouter Swierstra and Niki Vazou about different Haskell development styles, writing a high assurance wiki in php, and maintaining Haskell code across different GHC releases over multiple decades. haskell.foundation/podcast/35/

Just listed to a great new The Haskell Interlude with John Hughes! I particularly enjoyed hearing John arguing for keeping things simple, and how this is important for teaching new users, two things that are very close to my own heart. haskell.foundation/podcast/36

Delighted that "Quotient Haskell: Lightweight Quotient Types for All" has been accepted for POPL 2024 - fantastic work by Brandon Hewer! tinyurl.com/quotient-haske…

New episode of the The Haskell Interlude just dropped 👀👀👀 haskell.foundation/podcast/48/

Haskell Interlude 53: Garrett Morris is out! In this episode, Garrett Morris talks with Wouter Swierstra and Niki Vazou about his work on Haskell's type classes, how to fail successfully, and how to construct a set of ponies. haskell.foundation/podcast/53/

The latest episode of the Interlude is out! Listen to Dominic Orchard as he tells us all about Granule and collaborating with scientists to improve the languages they work with. haskell.foundation/podcast/54/

The latest Haskell Interlude is out! In this episode we are joined by Sebastian Ullrich, one of the main developers of Lean. We talk about theorem provers, the sweet spot between dependent types and simple programming, and how Lean is both! haskell.foundation/podcast/55/

Omw to ICFP and Haskell Symposium! We'll be doing a ZuriHac style episode of the The Haskell Interlude, short snippets from various attendees. If you see me around with a mic, come say hi!

After a brief hiatus for the summer, the interlude is BACK! In this episode, we're joined by Satnam Singh, who tells us about convincing people to use Haskell, laying out circuits, why community matters, and why you should not be afraid to lose your job! haskell.foundation/podcast/56/

A new episode is out! In this episode, we are joined by Gabriele Keller and learn why Haskell is the best environment for embedding languages, how the desire to implement parallel programming sparked the development of type families in Haskell, and more! haskell.foundation/podcast/57/

New episode out now! We interview @hgoldstein95, A property-based testing researcher who works in PL, SE, and HCI. We reflect on random generators, the find-a-friend model, interdisciplinary research, and having impact beyond your research community. haskell.foundation/podcast/59/

New episode of the Interlude is out! This time with Tom Ellis. He talks about stability of both GHC and Haskell libraries, effects, and strictness, and the premise of functional programming: make invalid states and invalid laziness unrepresentable! haskell.foundation/podcast/60/

There's a new episode of the Interlude! This time we chat with Sam Lindley from PLDI at the University of Edinburgh. He tells us how difficult naming is, different kinds of effect systems and handlers, languages much purer than Haskell, and Modal logic. haskell.foundation/podcast/61/

New episode of the Interlude is out! In this episode Wouter Swierstra and Niki Vazou talk with Conal Elliott (Conal Elliott). Conal discusses doing things just for the poetry, how most programs miss their purpose, and the simplest way to ask a question. haskell.foundation/podcast/62/

In this episode, Andres and Mike are joined by Farhad Mehta, a professor at OST Rapperswil and one of the organizers of ZuriHac. He tells us about formal methods, building tunnels, and the complicated relationship between academia and industry. haskell.foundation/podcast/63/

In this episode we talk to Sandy Maguire, lead compiler engineer at Manifold Valley. They talk about the benefits of using Haskell, all the books Sandy has written, on effects and the problem with monads, on combinator libraries and programming with laws. haskell.foundation/podcast/64/

In this episode we learn about Andy Gordon's work including the origins of (>>=), introducing lambdas in Excel, and delve into his current work at Cogna using AI to allow non-programmers to write apps using natural language. haskell.foundation/podcast/65/