Compositional: the podcast @CompositionalFM
Hear all about functional programming in practice. compositional.fm Joined October 2020-
Tweets21
-
Followers144
-
Following0
-
Likes9
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! compositional.fm/latoya-anderso…
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 - compositional.fm/simon-peyton-j… #haskell #spj #msr
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! :)
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: compositional.fm/chris-granade-… #qsharp #Quantum
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!
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! compositional.fm/isaac-shapira-…
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 compositional.fm/dingo-metaboli… and read along here tweag.io/blog/2021-07-1… !
Last week on the podcast @garbas sat down with one of the founders of @nixbuild - @rickynils - to have a chat about nix in production! compositional.fm/nix-in-product…
"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! compositional.fm/mathieu-boespf…
Avoid this podcast at all costs!" Noon and Lyndon chat about the Haskell Way, @HasuraHQ, and building functional programming communities! compositional.fm/lyndonmaydwell
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!
Good thoughts from @domenkozar, Cachix founder and big figure in the #NixOS world, today on the show with @garbas. compositional.fm/domenkozar
On the show today: core devs of #Haskell 's the new linear types extension answer community questions! Tune in ... compositional.fm/linear-types-a…
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! compositional.fm/mightybyte
psst ... a new series coming soon: Insights into functional programming industry trends from senior leaders in the field.
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! compositional.fm/trustix-1
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! compositional.fm/haskell-langua…
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. compositional.fm/content-addres…
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! compositional.fm/subsumption
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. compositional.fm/random
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
aron @Aron_Adler
3K Followers 3K Following ⊙ functional programming, dependent types. lean4 newbie. love thinking about type systems. jewish. not a p-zombie i promise.
Vladimir @vlkianv
5 Followers 230 Following
Artem Kushner @rtkushner
283 Followers 4K Following ribosome & shape analysis at Dao Duc lab, UBC Vancouver; CryoET at Klumpe lab, IMP/IMBA Vienna; some tubulin and structural biology infrastructure work
Rakesh Indukuri @RakeshIndukuri
8 Followers 95 Following 22, SIST'21 | NEU'24* Student | Bioinformatics
Bryan Honof @HonofBryan
119 Followers 596 Following 🧑💻Engineer at @floxdevelopment 🎸Playing guitar for @previseofficial 🧑🏫Lecturer at @HogeschoolPXL 🤔Opinions are my own!
Haskell Spotlight @HaskellSpot
372 Followers 764 Following Let's bring better tools and documentation for Haskell together. ✌️ Support the project: https://t.co/zv6CF3ynGF ☕️
Jayakumar Rajendran @jkumarraj
126 Followers 2K Following Rudeness is the weak man's imitation of strength - Eric Hoffer
Boris Milojkovic @Bork0mi
26 Followers 708 Following
{...} Phil de Joux @philderbeast
259 Followers 1K Following Linking moves, deferring to the compilers
Vlad P. Luchian @Cstml1
63 Followers 338 Following Passionate about λ calculus, Haskell, lisp, and pure functional programming. Will write Agda, sometimes. Rust and C for fun.
ProductiveDev @dev_productive
446 Followers 404 Following Haskell. Purescript. Sarcasm. Leftism. Sci-fi references.
Mathias Schreck @lo1tuma
115 Followers 233 Following
nhatanh @alittletyper
207 Followers 2K Following
Bryan Albuquerque @bryanasdev000
32 Followers 1K Following I keep things running, also love Free/Libre and Open Source Software, developer in my spare time and @nixos_org/@nixpkg contributor.
AtlasmanD @atlasmand
49 Followers 2K Following
Fergus *FREE PALESTIN... @prole_choice
388 Followers 3K Following never not discombobulated / lumpen proletarian / anarchist / dad / AuDHD / #BlackLivesMatter / (he/him) Join @CatuIreland M: @[email protected]
Alex Kucherenko @kucherenko_alex
38 Followers 844 Following
Secret @divanorama
60 Followers 337 Following
Prophet @welltypedwitch
3K Followers 543 Following There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS https://t.co/70SfmxnROe https://t.co/p6LXXU7dGH
kenbot @KenScambler
2K Followers 890 Following Architecture, compositionality, code. Architect @ MYOB Site: https://t.co/ispAQvWOua
barry @BPIV400
5K Followers 1K Following Co-CEO @ Interchain Labs & Blockchain gardener @Cosmos | Alt: @0xmagmar
reto @oter
573 Followers 5K Following
Ilya @Zlonast
13 Followers 228 Following
Pepe @PepePedroJa
11 Followers 223 Following
Anatolii Prylutskyi @anpryl
184 Followers 897 Following
Parisa Ataei, PhD @parisataei
100 Followers 297 Following FP, DSL, Type systems, Static analysis, Formal verification. Opinions my own. Food and lifting make me happy 🏋🏻♀️🤸🏻♀️☕️🧁🧇🍱🌮
sCrypt Official | OP_... @scryptplatform
10K Followers 4K Following OP_CAT 😺 enjoyer since 2018. Join fellow OP_CAT builders at https://t.co/wddaS9uYAi.
Dejan Ranisavljević @dejanr
359 Followers 580 Following Tech enthusiast who breathes code and loves creating beautiful web applications.
Fabio Mogavero, Ph.D.... @fabiomog
135 Followers 1K Following A Theoretical Computer Science Passionate Associate Professor in Computer Science @[email protected] @fabiomog.bsky.social
Leonhard R @l7r7_
176 Followers 657 Following I run on music | writing functions for a living | Scala by day, Haskell at night
brendan tang @keyboardliker
6 Followers 66 Following
Jaebok Shin @JaebokShin
5 Followers 175 Following
Schrödinger's Catboy @bstaffin
492 Followers 763 Following 🌹SRE & infrastructure nerd. Pianist, functional programmer, allegedly a timelord and/or cat. Depression/ptsd survivor, bisexual, reluctantly cis, too damn shy.
∃ @pwmosquito
4 Followers 943 Following
David Waern @dwaern
49 Followers 213 Following Father of two. Programmer addicted to pretty math and logic. Co-founder of https://t.co/WJSYwNDCG9
Lance Myers @lancekmyers
13 Followers 262 Following Interested in category theory, other math stuff and functional programming
Julius Marozas @JuliusMarozas
44 Followers 584 Following PhD @ Chalmers Interested in Type Theory, Proof Assistants 🐋 Haskell 🐔 Agda ❄️ NixOS he/him
deep_unlearning @deep_unlearning
118 Followers 2K Following
Chris Chalcraft @cchalc
790 Followers 4K Following interested in linux, functional programming, data science & geophysics. also love duplicate bridge. https://t.co/DyQUd6WNTuTrends for United States
You might like
