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.
November 18th, 2021 | 50 mins 38 secs
epic games, haskell, microsoft, spj
Richard Eisenberg sits down with Simon Peyton-Jones for a "fireside" conversation about his time at Microsoft Research.
October 29th, 2021 | 54 mins 20 secs
Noon and Chris sit down to have a chat about the quantum computing ecosystem, Chris' background, and their recent work on Q#, as well as the book they have co-authored!
August 6th, 2021 | 51 mins 35 secs
Noon sits down with Isaac Shapira to discuss the development of a new functional UI programming paradigm - the Shpadoinkle.
July 14th, 2021 | 37 mins 21 secs
Apostolos Chalkis talks about his package for analysis of metabolic networks by sampling their steady states using geometric random walks
June 23rd, 2021 | 46 mins 48 secs
Rok chats to the founder of NixBuild.net - Rickard Nilsson - about all things Nix and CI.
June 2nd, 2021 | 1 hr 2 mins
In this episode, Robin Bate Boerop talks to Mathieu Boespflug, the founder and CEO of Tweag. Mathieu talks about how he came to start Tweag and what he believed he wanted to bring to the software industry, industry trends, language interoperability, build systems and cutting-edge research that is coming to the programming languages we know and love!
May 12th, 2021 | 58 mins 16 secs
Kicking off the first "Community Chat" session, Noon chats to Melbourne-based Hasura engineer Lyndon Maydwell (aka "sordina") about his journey into functional programming, and avoiding success at all costs!
April 21st, 2021 | 1 hr 4 mins
Domen Kožar is the founder of Cachix, a popular caching service and one of the first products exclusively targeting the Nix ecosystem. He is also behind various community initiatives such as, for example, most recently a open collective fund to improve Nix' MacOS support. In this episode, Rok talks to Domen about how he came to work with Nix, his experiences with it and thoughts on how it evolves.
March 31st, 2021 | 1 hr 16 mins
Linear types are a new feature shipped with Haskells latest GHC compiler release 9.0. They allow to restrict a function to use an argument exactly once which opens all kinds of possibilities. Three core developers from the Haskell linear types team give an introduction to them and answer community questions in this episode.
March 10th, 2021 | 48 mins 58 secs
This episode's guest is Doug Beardsley, also known as mightybyte, director of engineering at Kadena, a blockchain company that uses Haskell in production. Doug is one of the few software engineering leaders who have used Haskell and advanced functional programming techniques in production systems for a long time at various companies. If you are interested in how he came into this position, as well as how he sees functional programming evolve and now positioned in the wider software industry, this episode is for you!
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.