ghc-devs  

Messages by Date

• 2026/07/27 Re: LLM-generated code review as a service Andreas Klebinger via ghc-devs
• 2026/07/27 Re: LLM-generated code review as a service Cheng Shao via ghc-devs
• 2026/07/27 Re: LLM-generated code review as a service Simon Jakobi via ghc-devs
• 2026/07/27 Re: LLM-generated code review as a service Simon Jakobi via ghc-devs
• 2026/07/27 Re: LLM-generated code review as a service Andreas Klebinger via ghc-devs
• 2026/07/27 Re: LLM-generated code review as a service Simon Jakobi via ghc-devs
• 2026/07/27 Re: LLM-generated code review as a service Zubin Duggal via ghc-devs
• 2026/07/27 Re: LLM-generated code review as a service Simon Jakobi via ghc-devs
• 2026/07/27 Re: LLM-generated code review as a service Cheng Shao via ghc-devs
• 2026/07/27 Re: LLM-generated code review as a service Zubin Duggal via ghc-devs
• 2026/07/27 Re: LLM-generated code review as a service Tom Ellis via ghc-devs
• 2026/07/27 LLM-generated code review as a service Simon Jakobi via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Magnus Viernickel via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Andreas Klebinger via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Andrei Borzenkov via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/27 Re: How to use cachix to speed up GHC build process Magnus Viernickel via ghc-devs
• 2026/07/27 How to use cachix to speed up GHC build process Eric Macaulay via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Hécate via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Teo Camarasu via ghc-devs
• 2026/07/27 Re: GHC LLM policy take 2 Rodrigo Mesquita via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 Sebastian Graf via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 Wolfgang Jeltsch via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 Simon Peyton Jones via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 A S via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 Jaro Reinders via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 Jaro Reinders via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/26 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 Lyle Kopnicky via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 Simon Jakobi via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 Simon Jakobi via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 Simon Jakobi via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
• 2026/07/25 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/24 Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
• 2026/07/24 Re: GHC LLM policy take 2 Lyle Kopnicky via ghc-devs
• 2026/07/24 Re: GHC LLM policy take 2 Brandon Allbery via ghc-devs
• 2026/07/24 Re: GHC LLM policy take 2 Sebastian Graf via ghc-devs
• 2026/07/24 Re: GHC LLM policy take 2 Benjamin Redelings via ghc-devs
• 2026/07/24 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/24 Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
• 2026/07/24 Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
• 2026/07/24 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/24 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/24 Re: GHC LLM policy take 2 Simon Jakobi via ghc-devs
• 2026/07/23 Re: GHC LLM policy take 2 Semen Trygubenko via ghc-devs
• 2026/07/21 Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
• 2026/07/21 Re: GHC LLM policy take 2 amindfv--- via ghc-devs
• 2026/07/21 Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
• 2026/07/21 Re: LLM policy for GHC Brandon Allbery via ghc-devs
• 2026/07/21 Re: GHC LLM policy take 2 Brandon Allbery via ghc-devs
• 2026/07/21 Re: GHC LLM policy take 2 Jaro Reinders via ghc-devs
• 2026/07/21 Re: GHC LLM policy take 2 Facundo Domínguez via ghc-devs
• 2026/07/21 Re: GHC LLM policy take 2 Simon Peyton Jones via ghc-devs
• 2026/07/21 Re: LLM policy for GHC Tom Ellis via ghc-devs
• 2026/07/21 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/21 Re: GHC LLM policy take 2 Wolfgang Jeltsch via ghc-devs
• 2026/07/21 Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
• 2026/07/21 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/21 Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
• 2026/07/21 Re: GHC LLM policy take 2 Wolfgang Jeltsch via ghc-devs
• 2026/07/21 Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
• 2026/07/21 Re: GHC LLM policy take 2 Arnaud Spiwack via ghc-devs
• 2026/07/21 GHC LLM policy take 2 Simon Peyton Jones via ghc-devs
• 2026/07/20 Re: LLM policy for GHC Simon Jakobi via ghc-devs
• 2026/07/17 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/17 Re: LLM policy for GHC Josh Meredith via ghc-devs
• 2026/07/17 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/17 Re: LLM policy for GHC Josh Meredith via ghc-devs
• 2026/07/17 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/17 Re: LLM policy for GHC Josh Meredith via ghc-devs
• 2026/07/17 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/17 Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
• 2026/07/17 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Julian Ospald via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Harendra Kumar via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Hécate via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Julian Ospald via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Tom Ellis via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Mikolaj Konarski via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Harendra Kumar via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Sebastian Graf via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Tom Ellis via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Magnus Viernickel via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Julian Ospald via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Bryan Richter via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Julian Ospald via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Harendra Kumar via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Julian Ospald via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Brandon Allbery via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
• 2026/07/16 Re: LLM policy for GHC Andreas Klebinger via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Julian Ospald via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Brandon Allbery via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Julian Ospald via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Julian Ospald via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Brandon Allbery via ghc-devs
• 2026/07/15 Re: LLM policy for GHC amindfv--- via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
• 2026/07/15 Re: LLM policy for GHC amindfv--- via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Julian Ospald via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Teo Camarasu via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Andreas Klebinger via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Julian Ospald via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Andrei Borzenkov via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Julian Ospald via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Andreas Klebinger via ghc-devs
• 2026/07/15 Re: LLM policy for GHC Iavor Diatchki via ghc-devs
• 2026/07/14 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/14 Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
• 2026/07/14 Re: LLM policy for GHC amindfv--- via ghc-devs
• 2026/07/14 Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
• 2026/07/14 Re: LLM policy for GHC Sebastian Graf via ghc-devs
• 2026/07/14 Re: LLM policy for GHC Simon Jakobi via ghc-devs
• 2026/07/14 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/14 Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
• 2026/07/14 few minute gitlab downtime Magnus Viernickel via ghc-devs
• 2026/07/13 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/13 Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
• 2026/07/13 Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
• 2026/07/13 Re: LLM policy for GHC Norman Ramsey via ghc-devs
• 2026/07/13 Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
• 2026/07/12 More Gitlab things Magnus Viernickel via ghc-devs
• 2026/07/12 Re: Gitlab upgrade finished! Simon Peyton Jones via ghc-devs
• 2026/07/12 Re: gitlab Magnus Viernickel via ghc-devs
• 2026/07/12 gitlab Magnus Viernickel via ghc-devs
• 2026/07/12 Gitlab upgrade finished! Magnus Viernickel via ghc-devs
• 2026/07/11 gitlab maintenance downtime starting soon Magnus Viernickel via ghc-devs
• 2026/07/10 Re: LLM policy for GHC Moritz Angermann via ghc-devs
• 2026/07/10 Re: LLM policy for GHC Brandon Allbery via ghc-devs
• 2026/07/10 Re: LLM policy for GHC Sebastian Graf via ghc-devs
• 2026/07/10 LLM policy for GHC Simon Peyton Jones via ghc-devs
• 2026/07/09 GitLab availability update Magnus Viernickel via ghc-devs
• 2026/07/03 Please don't use LLMs for my sake Jaro Reinders via ghc-devs
• 2026/07/03 gitlab account trouble, and bug report Evan Laforge via ghc-devs
• 2026/07/02 Re: Build problem Zubin Duggal via ghc-devs
• 2026/07/02 Re: Build problem Ben Gamari via ghc-devs
• 2026/07/02 Build problem Simon Peyton Jones via ghc-devs
• 2026/06/24 Re: GHC 9.12.5 RC2 is now available George Colpitts via ghc-devs
• 2026/06/24 GHC 9.12.5 RC2 is now available Magnus Viernickel via ghc-devs
• 2026/06/01 Re: GHC Status Report 2026 Simon Peyton Jones via ghc-devs
• 2026/06/01 Re: GHC Status Report 2026 Teo Camarasu via ghc-devs
• 2026/06/01 Re: GHC Status Report 2026 Rodrigo Mesquita via ghc-devs
• 2026/06/01 GHC Status Report 2026 Andreas Klebinger via ghc-devs
• 2026/05/29 Re: Boot libraries shipping with 9.12.5 Jens Petersen via ghc-devs
• 2026/05/29 Re: Boot libraries shipping with 9.12.5 Jens Petersen via ghc-devs
• 2026/05/27 MacOS and perf runner currently offline Magnus Viernickel via ghc-devs
• 2026/05/26 Re: Boot libraries shipping with 9.12.5 Magnus Viernickel via ghc-devs
• 2026/05/26 release progress GHC 9.12.5 Magnus Viernickel via ghc-devs
• 2026/05/26 Re: Boot libraries shipping with 9.12.5 Oleg Grenrus via ghc-devs
• 2026/05/26 Please rebase if you see an x86_64-darwin failure on your branches Magnus Viernickel via ghc-devs
• 2026/05/26 Boot libraries shipping with 9.12.5 Magnus Viernickel via ghc-devs
• 2026/05/23 Namespace-specific warning pragma example in user guide? Viktor Dukhovni via ghc-devs
• 2026/05/22 Re: CI "skipped" Simon Peyton Jones via ghc-devs
• 2026/05/22 Re: CI "skipped" Sam Derbyshire via ghc-devs
• 2026/05/21 Re: Backports for 9.10.4 Jens Petersen via ghc-devs
• 2026/05/21 Backports for GHC 9.12.5 Magnus Viernickel via ghc-devs

• Earlier messages
• Later messages