Noon has a chat with LaToya Anderson, who recently completed a Tweag Fellowship focusing on open-source software for quantum chemistry calculations. Topics of discussion include LaToya's prior education as a dancer, her interests and passions f

Simon Peyton-Jones - A Microsoft Research Retrospective

Nov 18th, 2021 50m 38s

With the news that Simon is leaving Microsoft Research (https://discourse.haskell.org/t/new-horizons-for-spj/3099), and now joining Epic Games (https://discourse.haskell.org/t/an-epic-future-for-spj/3573), we've taken the opportunity to sit dow

Quantum computing with Chris Granade

Oct 29th, 2021 54m 20s

In this episode Noon is joined by Chris Granade, from Microsoft, who talks about their background, their research path, and what brought them into quantum computing. We discuss Chris' journey to the Q# development team, and the book they have c

Shpadoinkle?

Aug 6th, 2021 51m 35s

Noon and Isaac have a chat about the state of front-end development and Isaac's motivations in bringing a new player to the market: Shpadoinkle, written in Haskell. Isaac discusses some of the issues he has with other approaches and how he and

Computational analysis of metabolic networks with Apostolos Chalkis

Jul 14th, 2021 37m 21s

Apostolos Chalkis is a PhD student from the University of Athens. As part of his recent Tweag fellowship, he developed dingo (https://github.com/GeomScale/dingo), a Python package to analyze steady states of metabolic networks—networks of bioch

Nix in production with Rickard Nilsson

Jun 23rd, 2021 46m 48s

Rickard Nilsson is a founder of NixBuild.net, a cloud service that runs your Nix builds. He is a long time Nix user and contributor. His company - Immutable Solutions - helps companies design, develop and deploy server systems and software. Ev

Functional Programming Leaders with Mathieu Boespflug

Jun 2nd, 2021 1h 2m

In this episode, Robin Bate Boerop talks to Mathieu Boespflug, the founder and CEO of Tweag. Tweag is a company that specializes in functional programming and was founded in 2013, when this technology was still perceived as a niche tool for ear

Community Chat with Lyndon Maydwell

May 12th, 2021 58m 16s

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 a recent blog post where Lyndon advocates for the philosophy of avo

Nix in Production with Domen Kožar

Apr 21st, 2021 1h 4m

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

Linear types AMA with Richard Eisenberg, Krzysztof Gogolewski and Arnaud Spiwack

Mar 31st, 2021 1h 16m

Three core developers from the Haskell linear types team are on this show: Arnaud Spiwack, Richard Eisenberg and Krzysztof Gogolewski. They have conceived, reviewed and implemented the Haskell linear types extension that is shipped with the lat

Functional Programming Leaders with Doug Beardsley

Mar 10th, 2021 48m 58s

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 fu

Binary verification with Trustix starring Adam Höse

Feb 3rd, 2021 1h 3m

We often use pre-built software binaries and trust that they correspond to the program we want. But nothing assures that these binaries were really built from the program's sources and reasonable built instructions. Common, costly supply chain

The Haskell Language Server with Zubin Duggal

Jan 13th, 2021 1h 11m

The Haskell Language Server (HLS) has shown how powerful the wealth of compile time information is that Haskell brings combined with instant feedback. For many, it is now a standard component of their development workflow. The HLS runs a comple

A content addressable store for Nix with Théophane Hufschmitt

Dec 1st, 2020 36m 42s

In this episode, Rok Garbas interviews Théophane Hufschmitt who is implementing a content addressed storage for Nix. Théophane explains why this feature is so useful to have for build systems and why he started working on it. He also gives a gl

Subsumption and impredicative types with Richard Eisenberg

Nov 10th, 2020 43m 8s

Subsumption, the process of figuring out whether one type is the subtype of another, is fundamental to GHC's type checker and was recently changed. In this episode, Richard Eisenberg explains what subtypes are, how subsumption works, and why so

The new random with Leonhard Markert and Dominic Steinitz

Oct 19th, 2020 55m 24s

Haskell's random library has provided an interface to pseudo-random number generation for non-cryptographic applications since the Haskell 98 report. Over the last years there hasn't been much development activity on the library despite well-kn

Rate