The Haskell Interlude
@HaskelInterlude
Followers
563
Following
22
Media
1
Statuses
55
This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
Joined July 2021
In this episode we speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course.
0
3
10
In this episode, we learn from Daniele Micciancio about teaching theoretical computer science with Haskell and of course Daniele's field of research - cryptographic algorithms.
0
4
15
In this episode we learn about @AndrewDGordon'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.
0
6
17
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.
0
3
16
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.
0
1
7
New episode of the Interlude is out!. In this episode @wouterswierstra and @nikivazou talk with Conal Elliott (@conal). Conal discusses doing things just for the poetry, how most programs miss their purpose, and the simplest way to ask a question.
0
2
10
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.
1
4
12
New episode of the Interlude is out! This time with @tomjaguarpaw. 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!.
0
4
18
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.
0
5
17
@SimonPeytonJon1 makes an appearance. @neurocy is there. @hgoldstein95 pops up. @ttforall says hi! @AndrewDGordon as well. Even @yminsky! It's a jam-packed episode!.
1
1
12
A special episode of the Interlude, out now!. Matti and Sam traveled to ICFP '24 in Milan, Italy, and recorded snippets with various participants, including keynote speakers, Haskell legends, an OCaml legend (!!), and organizers. Check it out!.
2
7
30
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!.
0
1
12
After a brief hiatus for the summer, the interlude is BACK!. In this episode, we're joined by @satnam6502, 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!.
0
6
21
RT @tritlo: Omw to ICFP and Haskell Symposium!. We'll be doing a ZuriHac style episode of the @HaskelInterlude, short snippets from various….
0
1
0
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!.
0
5
18
The latest episode of the Interlude is out! Listen to @dorchard as he tells us all about Granule and collaborating with scientists to improve the languages they work with.
1
5
16
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.
0
2
8
RT @haskellhutt: Delighted that "Quotient Haskell: Lightweight Quotient Types for All" has been accepted for POPL 2024 - fantastic work by….
0
21
0
RT @haskellhutt: Just listed to a great new @HaskelInterlude with John Hughes! I particularly enjoyed hearing John arguing for keeping thi….
0
10
0