Compositional: the podcast

Hear all about functional programming in practice.

[Compositional: the podcast @CompositionalFM]

First podcast episode of the year kicks off with Noon having a chat with recent Tweag Fellow @QMBPhysics_La about her experiences and work in open source quantum chemistry! https://t.co/PqU8rvQXYf

[Compositional: the podcast @CompositionalFM]

Upon the news of that @simonpj0 is leaving @MSFTResearch @RaeHaskell took the opportunity to sit down with him and talk about his work and collaborations! Tune in here - https://t.co/mzVxeFfgX1 #haskell #spj #msr

[Compositional: the podcast @CompositionalFM]

we've got a real gem of an episode coming up next week. it's our last one of the year, ... you've heard the news, but what's the backstory? we chat with @simonpj0, exploring his time at microsoft the history of haskell and his collaborations over his time! don't miss it! :)

[Compositional: the podcast @CompositionalFM]

The quantum episode! Noon sits down with @cgranade of Microsoft and the Q# team to discuss their background, their book, the one essential skill to work in quantum and even a fun diversion into summing divergent sequences! Have a listen: https://t.co/LFAFVVpQel #qsharp #Quantum

[Compositional: the podcast @CompositionalFM]

We have two great episodes coming out for you very soon: the first oneone this week, on quantum computing with @cgranade - tune it in hear all about q#, chris' history, and the most necessary skill to work in quantum!

[Compositional: the podcast @CompositionalFM]

Shpadoinkle? What is it? A thing whose precise nature was not known but now is known. Or, maybe, a new FP UI paradigm?! Find out more in our latest episode with Isaac Shapira of @platonicsystems! https://t.co/A0F6cGPSNJ

[Compositional: the podcast @CompositionalFM]

This weeks podcast, featuring Roman interview a recent Tweag fellow Apostolos, is all about metabolic networks and computational geometry; it also comes with a blog post on the Tweag blog! Tune in here https://t.co/LWatqFFwuw and read along here https://t.co/gKziRl6LgQ !

[Compositional: the podcast @CompositionalFM]

Last week on the podcast @garbas sat down with one of the founders of @nixbuild - @rickynils - to have a chat about nix in production! https://t.co/YBk7Ar9Usj

[Compositional: the podcast @CompositionalFM]

"Tweag - How it started vs. How it's going." Tune in to hear Robin Bate Boerop and Mathieu Boespflug, founder of Tweag, chat over the origin story; stay to hear about the love of a diversity of programming languages and language interop! https://t.co/IcxChkxdag

[Compositional: the podcast @CompositionalFM]

Avoid this podcast at all costs!" Noon and Lyndon chat about the Haskell Way, @HasuraHQ, and building functional programming communities!

https://t.co/WuvXalylXE

[Compositional: the podcast @CompositionalFM]

Psst ... our next episode is coming up featuring a Melbourne-based @HasuraHQ engineer; tune in tomorrow to learn what two things they wish they could compose!

[Compositional: the podcast @CompositionalFM]

Good thoughts from @domenkozar, Cachix founder and big figure in the #NixOS world, today on the show with @garbas.

https://t.co/ei0v0jZzUw

[Compositional: the podcast @CompositionalFM]

On the show today: core devs of #Haskell 's the new linear types extension answer community questions! Tune in ...

https://t.co/KFAIoBUIHO

[Compositional: the podcast @CompositionalFM]

New episode out in our "industry leaders" series:

@robinbateboerop has @mightybyte, director of engineering at @kadena_io, on the show to discuss anecdotes, trends, community insights and technologies.

Tune in and don't forget to subscribe!

https://t.co/PmvdBgPjSc

[Compositional: the podcast @CompositionalFM]

psst ... a new series coming soon: Insights into functional programming industry trends from senior leaders in the field.

[Compositional: the podcast @CompositionalFM]

New episode: @garbas talks to @adisbladis about his exciting new project #Trustix that logs software binary hashes from many builders to protect against supply chain attacks and to track reproducibility on the large scale.

Tune in!

https://t.co/zdpW8mpInx

[Compositional: the podcast @CompositionalFM]

New episode is out with Roman and *Zubin Duggal* who worked for years on Haskell IDE projects and the Haskell Language Server (HLS).

Tune in and learn about the history of these projects and the complex inner workings of the HLS!

https://t.co/pMTVQXXjdn

[Compositional: the podcast @CompositionalFM]

A new episode is out and this time we roam through the Nix universe. @garbas chats with @thehufsch about the what, why and how of the upcoming content addressable store that can unlock advanced build system features and use cases in Nix.

https://t.co/OnmB1VPveg

[Compositional: the podcast @CompositionalFM]

Subtyping, Subsumption and Impredicativity are the topics of today's episode. @RaeHaskell explains, opening a fascinating window into types and the hard work that goes into GHC 9.0.

Check it out!

https://t.co/WCJ8YcSjA4

[Compositional: the podcast @CompositionalFM]

We promised deep dives and here is one into Pseudo Random Number Generators: We chat with @idontgetoutmuch and Leonhard Markert about the heavy lifting that was required to implement a new version of the "random" library for Haskell.

https://t.co/y8cRDXsgER