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...

   Well-Typed and the entire hs-bindgen team there are quite a few of us, seebelow are delighted to announce hs-bindgen 1.0, the first official release...

   Motivation and backgroundNixpkgs is the largest open source software distribution in the world, maintained by an ever-growing global community with...

   While I was still at ZipRecruiter, our Git monorepo was developing anannoying problem: it had too many refs.Whenever there was a deployment of any of...

   I was going to start with it has been a while since we had one ofthese but then I saw that the previous one started with Wow, has itreally been 7...

   For the new Haskell Interlude, we sat down with Edward Kmett. Ed is the Founder and Chief Scientist of Positron AI. More importantly, he’s a legend...

   ghc-debug is a debugging tool for performing precise heap analysis of Haskell programs(for more background, check out our previous post improving ghc...

   Yet Another Rant About AI Security OSS ExternalityIMPORTANT DISCLOSURE: This blog post is written in my personal capacity reflecting on the recent...

   A series by award-winning engineer Corey Boyle in the Edinburgh Inquirer. Well reasoned and well written. Some of the cited facts blew me away. (...

   A brilliant, and sadly timely, parody. Spotted via Boing Boing.

   The Fibonacci sequence is so-called because in Western mathematics isfirst appears in connection with a problem from Fibonacci’s 1202 bookLiber Abaci...

   Previously:Ordinal numbers and basic set theory Ordinals as nim-heapsNim always ends, even with infinite ordinalsInfinite Nim as a coin-moving...

   Well-Typed are happy to announce Eventlog Live, a program that streams real-time telemetry from any Haskell application to any observability platform...

   A little over two months ago, we released the first version ofTricorder, a Haskell development tool built fordevelopers of the modern era, where...

   Yesterday I reported about how much I despise home repair, how I feelI’m really bad at it, how it sometimes goes terribly wrong for me, andhow my...

   This is the thirty-second edition of our Haskell ecosystem activities report,which describes the work Well-Typed are doing on GHC, Cabal, HLS and...

   GHC 10.0.1-alpha1 is now availablewz1000 - 2026-09-18The GHC developers are very pleased to announce the availability of thefirst alpha prerelease of...

   Over the last months, I’ve participated in a Google Summer of Code internship atTweag in collaboration with Haskell.org, with the goal of bringing...

   GHC 9.14.2-rc2 is now availablewz1000 - 2026-09-17The GHC developers are very pleased to announce the availabilityof the second release candidate for...

   I m pleased to announce jj-stack, a new tool for managing stacked GitHub pull requests quicklyand safely with Jujutsu.Stacked changes let you (or...

   In this episode, we sat down with Michael Hanus. Michael is a professor at the University of Kiel and is one of the founders of functional logic...

   Well-Typed was strongly represented at this year’s ZuriHac, with our team of Haskell experts givingsix talks across ZuriHac itself and the Haskell...

   Formal proofs have been fashionable in the recent months, after being at best anafterthought of the programming community for half a century. By...

   I’ve been a lifelong reader, which has proved a fragile habit in our era of endless trivialdistraction. While books and e-ink readers solve the...

   Compilation commands by project typeI while ago I added a minor mode, haskell-ng-project-mode, to my Haskell mode.The idea I had was that I could use...

   Folklore trick for dollar-store dependent types

   In today’s episode, we’re joined by Brent Yorgey, Associate Professor of Computer Science at Hendrix College and the creator, among other things, of...

   Adam McKay, director of Don’t Look Up, points out what should be obvious but is easy to ignore.Like all grand lies, we have more time takes many...

   I’ve searched with little success for ideas about how we can handle AI so that it benefits rather than harms society. Here is a suggestion from Jaron...

   Last time, we took a stroll down memory lane to review some ancient code I wrote, and see what how I’d do things differently now. That was fun, and I...

   In 1837 Pierre Wantzel proved that no compass-and-straightedge construction can trisect every angle. The counterexample is 60 : trisecting it would...

   I’ve been wanting to get back into the habit of blogging, and thought a fun project would be to go back through my old code and review it as the...

   Here’s a few minor tweaks I’ve made to my Emacs setup recently.Limiting enabled tree-sitter modesAfter reading Rahul’s post Emacs 31 Is Around the...

   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 ...

   Disclosure: I’m the original author and lead for the Bombadil project at Antithesis. Carlos Catala, interning at Antithesis and working on testing...

   A comic by Tom Humberstone about gig workers and the need to organise, with loads of local Edinburgh flavour.

   Welcome back to Five-PointHaskell This is my attempt to codify principles of writing robust,maintainable, correct, clear, and effective code in...

   GHC 9.12.5-rc3 is now availablemangoiv - 2026-07-31The GHC developers are very pleased to announce the availabilityof the third release candidate for...

   GHC 9.14.2-rc1 is now availablewz1000 - 2026-07-30The GHC developers are very pleased to announce the availabilityof the release candidate for GHC 9...

   At Tweag, we have been auditing Cardano smart contracts since 2021. We startedout reviewing contracts mostly by hand, but it did not take long before...

   Sooo yes it’s true, I’ve been integrating LLMs and agentic coding tools in myHaskell coding since the beginning of this year for a lot of my projects...

   I always say, inside every Haskeller there are two wolves, living on oppositeends of the Haskell Fancy Code Spectrum. Are you going to write...

   Type inference algorithm for biased record concatenation

   I’ve spent about 100 hours of work over the past month to make suregit-annex can build without dependencies that contain LLM generated code.At least...

   Figure: leftFilledSun6Update June 2026 This blog is about drawing finite regions of the infinite non-periodic tessellations of Roger Penrose’s kite...

   In this episode of the Haskell Interlude, we are joined by Sylvain Henry, one of the all-time top contributors to GHC. He tells us about his work on...

   So, evidently I failed to fulfill my ambition to blog regularly about the contents of my planned book on Patterns in Functional Programming. But I...

   Introduction(Updated June 2026 for PenroseKiteDart version 1.10)PenroseKiteDart is a Haskell package with tools to experiment with finite tilings of...

   Proving the Fundamental Theorem of Arithmetic in Agda Posted on June 26, 2026 Tagged agda, arithmetic, theorem, proof, Agda Share on tl;dr: This is a...

   GHC 9.12.5-rc2 is now availablemangoiv - 2026-06-24The GHC developers are very pleased to announce the availabilityof the second release candidate...