I've pushed GHC too far; it wasn't prepared for this level of quantified constraints.

PureScript will be 10 years old in a few months github.com/purescript/pur… I made a cake with dalle but it ended up looking like a giant marshmallow

real numbers and infinite sums are making me cross again

my "very general category things in haskell" repo is continuing to work out very nicely (although it's perhaps not especially well organised yet) github.com/LiamGoodacre/h…

Hadn't used my github blog since 2017, so I decided it needed an update. It now has a new theme, and I started writing a draft post. It's very much a brain dump and prolly not for human consumption yet. Maybe I'll do something with it at some point. liamgoodacre.github.io/2023/08/28/fun…

Read about an exciting new technique Matthew Pickering to and Zubin have been developing for profiling memory usage of Haskell programs: well-typed.com/blog/2024/01/g…

New algorithm for collaborative text editing just dropped: arxiv.org/pdf/2409.14252