Compositional

16 Episodes

1. LaToya Anderson - Quantum Chemistry and a Tweag Fellowship

   Published: 3/3/2022
2. Simon Peyton-Jones - A Microsoft Research Retrospective

   Published: 11/18/2021
3. Quantum computing with Chris Granade

   Published: 10/29/2021
4. Shpadoinkle?

   Published: 8/6/2021
5. Computational analysis of metabolic networks with Apostolos Chalkis

   Published: 7/14/2021
6. Nix in production with Rickard Nilsson

   Published: 6/23/2021
7. Functional Programming Leaders with Mathieu Boespflug

   Published: 6/2/2021
8. Community Chat with Lyndon Maydwell

   Published: 5/12/2021
9. Nix in Production with Domen Kožar

   Published: 4/21/2021
10. Linear types AMA with Richard Eisenberg, Krzysztof Gogolewski and Arnaud Spiwack

    Published: 3/31/2021
11. Functional Programming Leaders with Doug Beardsley

    Published: 3/10/2021
12. Binary verification with Trustix starring Adam Höse

    Published: 2/3/2021
13. The Haskell Language Server with Zubin Duggal

    Published: 1/13/2021
14. A content addressable store for Nix with Théophane Hufschmitt

    Published: 12/1/2020
15. Subsumption and impredicative types with Richard Eisenberg

    Published: 11/10/2020
16. The new random with Leonhard Markert and Dominic Steinitz

    Published: 10/19/2020