Hear all about functional programming in practice. We invite people working on hard industry problems to tell us how they are solving them, the tools they use, and what gets them up in the morning. Expect deep dives into Haskell, Nix, Rust, build systems, data engineering, AI, and more. We make it back to the surface too sometimes, to chat about engineering culture and the challenges of leadership in distributed teams.
February 3rd, 2021 | 1 hr 3 mins
Rok Garbas talks to Adam Höse the creator of Trustix a tool that automatically verifies the content of software binaries with implications on binary security, the software supply chain and reproducibility tracking.
January 13th, 2021 | 1 hr 11 mins
In this episode, Roman Cheplyaka talks to Zubin Duggal who contributed to HLS for years, personally, through various Summer of Code projects and recently as a Tweag Open Source Fellow. He explains how HLS emerged from various predecessors. the role the Language Server Protocol played in reducing the implementation efforts and then dives deep into the inner workings of this tool.
December 1st, 2020 | 36 mins 42 secs
Rok Garbas talks with Théophane Hufschmitt about the upcoming content addressable store for Nix.
November 10th, 2020 | 43 mins 8 secs
Roman Cheplyaka talks to Richard Eisenberg about the recent changes in GHC's type checker.
October 19th, 2020 | 55 mins 24 secs
Roman Cheplyaka talks to Leonhard Markert and Dominic Steinitz about the new version of the Haskell 'random' package.