16 episodes

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.

Compositional Tweag I/O

    • Technology

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.

    LaToya Anderson - Quantum Chemistry and a Tweag Fellowship

    LaToya Anderson - Quantum Chemistry and a Tweag Fellowship

    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 for quantum computing, what interested her in the field, thoughts on how the quantum computing ecosystem should harness their public interest, and how to pursue a career in this space!
    Special Guest: LaToya Anderson.
    Links:
    LaToya Anderson - HomepageLaToya Anderson · GitLabchelleorc (L Anderson) (github.com)Tweag FellowshipSchaum's OutlinesSimons FoundationPySCFASETai-Danae Bradley - At the Interface of Algebra and Statistics

    • 48 min
    Simon Peyton-Jones - A Microsoft Research Retrospective

    Simon Peyton-Jones - A Microsoft Research Retrospective

    With the news that Simon is leaving Microsoft Research, and now joining Epic Games, we've taken the opportunity to sit down and do a retrospective of his time at Microsoft Research and the various collaborations that have come about as part of that journey.
    Special Guest: Simon Peyton-Jones.
    Links:
    An Epic future for SPJ

    • 50 min
    Quantum computing with Chris Granade

    Quantum computing with Chris Granade

    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 co-authored with Sarah Kaiser. We also cover Chris' vision of the necessary skills to get engaged working in the field, and some pitfalls to watch out for. Tune in for an exploration of a very interesting person and field, and to get some hints as to where functional programming and type theory might play a role in future quantum programming languages!
    Special Guest: Chris Granade.
    Links:
    Q# Programming LanguageQ# CommunityRobin Blume-Kohout — A list of lectures from Robin available on PIRSA.Carl Bender - Mathematical Physics - Sequences - PIRSA — This is the lecture series on convergent and divergent sequences.Nielsen & Chuang Textbook on Quantum Computation — A classic now but still, I believe, the bible. Michael Nielsen has since put out some more accessible introductions: https://quantum.country/.Alan Geller - Why do we need Q#?Learn Quantum Computing with Python and Q# — Book by Sarah Kaiser and Chris Granade.Unitary FundUnitary Fund - Discord

    • 54 min
    Shpadoinkle?

    Shpadoinkle?

    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 the Shpadoinkle team have been working to resolve them!
    Special Guest: Isaac Shapira.
    Links:
    shpadoinkle.orgPlatonic SystemsMisoReflex FRPSketch.systemsjsaddleAsteriusA city is not a tree by Christopher Alexander

    • 51 min
    Computational analysis of metabolic networks with Apostolos Chalkis

    Computational analysis of metabolic networks with Apostolos Chalkis

    Apostolos Chalkis is a PhD student from the University of Athens. As part of his recent Tweag fellowship, he developed dingo, a Python package to analyze steady states of metabolic networks—networks of biochemical reactions that take place in any living cell—using geometric random walks and other methods from computational geometry.


    In this episode, Apostolos explains what metabolic networks are and how he applies Markov Chains Monte Carlo methods to understand them. Also check out Apostolos's blog post, where he shows a particular application of his package to the search for potential COVID-19 treatments.
    Special Guest: Apostolos Chalkis.
    Links:
    Searching for COVID-19 treatments using metabolic networkshttps://github.com/GeomScale/dingohttps://github.com/GeomScale/volume_approximationhttps://geomscale.github.io/

    • 37 min
    Nix in production with Rickard Nilsson

    Nix in production with Rickard Nilsson

    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. Everyday he uses Nix in production.
    Special Guest: Rickard Nilsson.
    Links:
    NixBuild.netThe NixBuild.net blogNixBuild.net User SurveyNixBuild.net Twitter

    • 46 min