I have resigned from my post as GHC Steering Committee secretary, and wrote a little retrospective at joachim-breitner.de/blog/811-GHC_S…
(If you were following me just for the notifications about accepted proposals, well, 🤷)

The GHC Steering Committee has decided on the language extensions for the next language edition, GHC2024:
github.com/ghc-proposals/…

linearly independent arisu Prophet I love this project so much that I made a video series about it!

youtube.com/watch?v=bExGUt…

It's a project of Joachim Breitner, tagging him in so he can see people are still discovering it!

Charming tweet, glad you liked it!

We're thrilled to share that the roadmap for Lean FRO is now public!
lean-fro.org/about/roadmap/
🚀 Join us in shaping the future of Lean!
#LeanFRO #LeanLang #LeanProver

I once created a #Motoko #internetcomputer canister that holds ICP tokens and gives it to whoever can guess a secret (and codes up a bunch of technicalities). Two years later, it was indeed solved:
forum.dfinity.org/t/capture-the-…
(I won’t reveal how, in case others want to try as well.)

Exited to start a new Job working on Lean tomorrow:
joachim-breitner.de/blog/809-Joini…

Squashing your Github PR (if that’s what the project you want to contribute expects) is surprisingly annoying. So I created squasher.nomeata.de to do it for you.

At my talk at #ICFP2023 I claimed that with observable sharing one can write a parser combinator library where left-recursion works (in the presence of sharing), and someone asked if I had, and I had to admit I hadn’t, so the next day I did:
joachim-breitner.de/blog/807-Left_… #haskell

Anders Hejlsberg Anders Hejlsberg, inventor of Typescript and C#, gave a great keynote talk about Typescript at #ICFP2023 . It included some type level programming!

A highly entertaining double act by Samantha Frohlich and Harrison Goldstein Harry Goldstein for their talk Reflecting on Random Generation at #ICFP2023 .

A former colleague of mine is on the market. Amazingly productive developer and very pleasant colleage. Expert in PL UX (LSP etc.). Poach him while you can.

The The Haskell Interlude just published a nice interview of @ranjitjhala by Andres Löh and Matthías Páll Gissurarson:
haskell.foundation/podcast/32

Our own Arnaud Spiwack was interviewed on the The Haskell Interlude podcast by Matthías Páll Gissurarson and Joachim Breitner. They speak linear types and GHC internals. The episode was just released!
haskell.foundation/podcast/31/

It was a very enjoyable chat Matthías Páll Gissurarson, Joachim Breitner . We had to stop at some point, but I feel we could have gone on for quite a while still 🙂 .

The GHC Steering Committee just accepted a proposal by Adam Gundry, Artyom Kuznetsov, Chris Dornan to allow namespace qualifiers (data, type) in import and export lists.
github.com/ghc-proposals/…

The GHC Steering Committee accepted a proposal amendmend by Krzysztof Gogolewski to let derived Show instances use the 123#Word8 syntax for unboxed sized fields:
github.com/ghc-proposals/…

I enjoyed talking about the rec-def library at this year’s #BobKonf2023 , and now you can enjoy that talk too!

I wrote a script to fetch bibtex entries from DBLP via their DOI:
joachim-breitner.de/blog/806-Gener…