Shows / Planet Haskell
Episodes
- Planet Haskell
Sandy Maguire: From Instantaneous Events to Musical Spans
From Instantaneous Events to Musical Spans ← November 5, 2026 We’ve been thinking a lot about musical structures over these last few posts. Today we’re going…
- Planet Haskell
Magnus Therning: Follow-up: QuickCheck: shrinking like tuples, writing like applicative
Joachim wrote that Your (\*/) operator reminds me of the applicative instance defined in…
- Planet Haskell
Magnus Therning: Follow-up: Emacs salmagundi, 2026-10-11
04 Nov 2026 Follow-up: Emacs salmagundi, 2026-10-11 A comment from Dave on Emacs salmagundi, 2026-10-11: I preload compile-history in some directory trees via…
- Planet Haskell
Magnus Therning: Follow-up: Switching to project.el
04 Nov 2026 Follow-up: Switching to project.el A long while ago (in February this year) I got nice comment from Mike on my switch to project.el That said, I…
- Planet Haskell
Sandy Maguire: Musical Signal Functions
Musical Signal Functions ← → November 4, 2026 We’ve been chatting for a few days about my vision for a constructive model of music. So far it’s been rather…
- Planet Haskell
Haskell Interlude: 88: Tom Schrijvers
In this Haskell Interlude, we sat down with Tom Schrijvers, the head of the Functional Programming team at KU Leuven. He has been a prolific contributor to the…
- Planet Haskell
Abhinav Sarkar: An LC-3 Disassembler in Haskell
LC-3 assembly is an educational programming language. It is simple enough that complex programs can be written directly in it without needing a compiler, and…
- Planet Haskell
Tweag I/O: Running local development services
Running local development services 29 October 2026 José Luis Lafuente Leveraging Nixpkgs and systemd for production-grade local services nix Intro Nix…
- Planet Haskell
Well-Typed.Com: Hypha: navigating Haskell source code for humans and machines
TL;DR I’m releasing a beta version of Hypha, an experimental CLI tool for Haskell development which can be useful to explore your project dependencies, read…
- Planet Haskell
Alessandro Vermeulen: A fresh leaf
It has been a very long time since I posted a new article. The reasons for this are quite commonplace. Starting a family and building a career captured both my…
- Planet Haskell
Tweag I/O: How to set up and run a Nixpkgs team
Motivation and background Nixpkgs is the largest open source software distribution in the world, maintained by an ever-growing global community with almost a…
- Planet Haskell
Well-Typed.Com: First official release of hs-bindgen
Well-Typed and the entire hs-bindgen team—there are quite a few of us, see below—are delighted to announce hs-bindgen 1.0, the first official release. In case…
- Planet Haskell
Mark Jason Dominus: Maybe a better way to track the release history of a Git repo
While I was still at ZipRecruiter, our Git monorepo was developing an annoying problem: it had too many refs. Whenever there was a deployment of any of the…
- Planet Haskell
Mark Jason Dominus: The road to epsilon-zero: Productive programs and well-founded orders
Previously: Ordinal numbers and basic set theory Ordinals as nim-heaps Nim always ends, even with infinite ordinals Infinite Nim as a coin-moving game…
- Planet Haskell
Magnus Therning: Emacs salmagundi, 2026-08-13
Here's a few minor tweaks I've made to my Emacs setup recently. Limiting enabled tree-sitter modes After reading Rahul's post Emacs 31 Is Around the Corner…
- Planet Haskell
Mark Jason Dominus: There are two kinds of theorems
In mathematical study there are two kinds of theorems, which serve very different purposes. Math instruction follows the same pattern. Students are often very…
- Planet Haskell
Abhinav Sarkar: Fast Haskell Scripts on GitHub Actions
Magix is a neat tool that lets us run Haskell programs as scripts1. We put a shebang on top mentioning Magix, list the Haskell packages we need, and…
- Planet Haskell
Oskar Wickström: How Antithesis Found and Explained a Bombadil Race Condition
Disclosure: I’m the original author and lead for the Bombadil project at Antithesis. Carlos Catala, interning at Antithesis and working on testing our webapps…
- Planet Haskell
Mark Jason Dominus: The road to epsilon-zero: Coin-moving games with no coins
Previously: Ordinal numbers and basic set theory Ordinals as nim-heaps Nim always ends, even with infinite ordinals Infinite Nim as a coin-moving game In the…
- Planet Haskell
Philip Wadler: Just Work: The Gig Economy, Platform Capitalism and the Battle for Worker Rights
A comic by Tom Humberstone about gig workers and the need to organise, with loads of local Edinburgh flavour.
- Planet Haskell
in Code: "Five-Point Haskell": Unconditional Election (via Parametricity)
Welcome back to Five-Point Haskell! This is my attempt to codify principles of writing robust, maintainable, correct, clear, and effective code in Haskell and…
- Planet Haskell
Mark Jason Dominus: Seven books I keep close because I love them
The bookshelf by my elbow, the one that I can reach without getting up, has seven books on it, not necessarily the ones I look in the most, but the ones whose…
- Planet Haskell
GHC Developer Blog: GHC 9.14.2-rc1 is now available
GHC 9.14.2-rc1 is now available wz1000 - 2026-07-30 The GHC developers are very pleased to announce the availability of the release candidate for GHC 9.14.2…
- Planet Haskell
Mark Jason Dominus: The road to epsilon-zero: Infinite Nim as a coin-moving game
Previously: Ordinal numbers and basic set theory Ordinals as nim-heaps Nim always ends, even with infinite ordinals In the previous articles I talked about the…
- Planet Haskell
Mark Jason Dominus: “Steph Curry: fluke or breakthrough” ten years later
(Previously) Flukes and Breakthroughs In the NBA 2015–16 season, Steph Curry set the all-time single-season record for three-point field goals, 402, completely…
- Planet Haskell
Tweag I/O: Five years of Cardano smart-contract audits: a retrospective
At Tweag, we have been auditing Cardano smart contracts since 2021. We started out reviewing contracts mostly by hand, but it did not take long before we began…
- Planet Haskell
in Code: LLMs Will Cheese Your Types: Fighting Back in Haskell
Sooo yes it’s true, I’ve been integrating LLMs and agentic coding tools in my Haskell coding since the beginning of this year for a lot of my projects, both…
- Planet Haskell
Mark Jason Dominus: The road to epsilon-zero: Nim always ends, even with infinite ordinals
Previously: Ordinal numbers and basic set theory Ordinals as nim-heaps Yesterday I talked about the game of Nim, which involves two players taking beans from…
- Planet Haskell
Mark Jason Dominus: The road to epsilon-zero: ordinals as nim-heaps
Previously: Ordinal numbers and basic set theory We're going to get to in a long and roundabout way. First I want to talk about the game of Nim. Nim Nim is a…
- Planet Haskell
Well-Typed.Com: New falsify release
Recently Martijn Bastiaan, QBayLogic’s COO, invited Well-Typed to come to QBayLogic HQ and give a one-day workshop on falsify, the new property based testing…
- Planet Haskell
Michael Snoyman: Kabbalah and Economics
In my last post, I compared Kabbalah to Haskell. It's only fitting that my next post compares Kabbalah to another topic I blog about frequently: economics…
- Planet Haskell
Mark Jason Dominus: Starting to understand epsilon-zero
This post is going to be about what infinite ordinal numbers are, and about is in particular. I had a brainwave a while back (18 months now, wow, I have…