ghc-devs  

Messages by Thread

• Short Gitlab Downtimes starting now Magnus Viernickel via ghc-devs
  • Re: Short Gitlab Downtimes starting now Magnus Viernickel via ghc-devs
• Planned maintenance for gitlab.haskell.org, downloads.haskell.org, mail, and more: 2026-10-27 Bryan Richter via ghc-devs
• Replacing Hadrian with Buck2 Simon Marlow via ghc-devs
  • Re: Replacing Hadrian with Buck2 Simon Marlow via ghc-devs
  • Re: Replacing Hadrian with Buck2 Sebastian Graf via ghc-devs
  • Re: Replacing Hadrian with Buck2 Andreas Klebinger via ghc-devs
  • Re: Replacing Hadrian with Buck2 Brandon Allbery via ghc-devs
  • Re: Replacing Hadrian with Buck2 Arnaud Spiwack via ghc-devs
  • Re: Replacing Hadrian with Buck2 Brandon Allbery via ghc-devs
  • Re: Replacing Hadrian with Buck2 Simon Marlow via ghc-devs
  • Re: Replacing Hadrian with Buck2 Ben Gamari via ghc-devs
  • Re: Replacing Hadrian with Buck2 Simon Marlow via ghc-devs
  • Re: Replacing Hadrian with Buck2 Moritz Angermann via ghc-devs
  • Re: Replacing Hadrian with Buck2 Simon Marlow via ghc-devs
  • Re: Replacing Hadrian with Buck2 Moritz Angermann via ghc-devs
  • Re: Replacing Hadrian with Buck2 Magnus Viernickel via ghc-devs
  • Re: Replacing Hadrian with Buck2 Simon Marlow via ghc-devs
  • Re: Replacing Hadrian with Buck2 Julian Ospald via ghc-devs
  • Re: Replacing Hadrian with Buck2 Brandon Allbery via ghc-devs
  • Re: Replacing Hadrian with Buck2 Vekhir via ghc-devs
  • Re: Replacing Hadrian with Buck2 Simon Jakobi via ghc-devs
  • Re: Replacing Hadrian with Buck2 Simon Marlow via ghc-devs
  • Re: Replacing Hadrian with Buck2 Moritz Angermann via ghc-devs
  • Re: Replacing Hadrian with Buck2 Julian Ospald via ghc-devs
  • Re: Replacing Hadrian with Buck2 Simon Marlow via ghc-devs
  • Re: Replacing Hadrian with Buck2 Brandon Allbery via ghc-devs
  • Re: Replacing Hadrian with Buck2 Simon Marlow via ghc-devs
  • Re: Replacing Hadrian with Buck2 Julian Ospald via ghc-devs
• Notes/Commit messages/Comments - A new AI discussion Andreas Klebinger via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Wolfgang Jeltsch via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Magnus Viernickel via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Simon Jakobi via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Rodrigo Mesquita via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Rodrigo Mesquita via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Andreas Klebinger via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Simon Jakobi via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Simon Peyton Jones via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Julian Ospald via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Moritz Angermann via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Simon Jakobi via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Moritz Angermann via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Bryan Richter via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Mikolaj Konarski via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Mikolaj Konarski via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Wolfgang Jeltsch via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Mikolaj Konarski via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Wolfgang Jeltsch via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Mikolaj Konarski via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Julian Ospald via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Simon Jakobi via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Wolfgang Jeltsch via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Ben Gamari via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion amindfv--- via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Mikolaj Konarski via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Simon Peyton Jones via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion 山本和彦
  • Re: Notes/Commit messages/Comments - A new AI discussion Simon Peyton Jones via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion 山本和彦
  • Re: Notes/Commit messages/Comments - A new AI discussion Mikolaj Konarski via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Teo Camarasu via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Mikolaj Konarski via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Wolfgang Jeltsch via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Tom Ellis via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Wolfgang Jeltsch via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Wolfgang Jeltsch via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion amindfv--- via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Julian Ospald via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Clinton Mead via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Iavor Diatchki via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Viktor Dukhovni via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Julian Ospald via ghc-devs
  • Re: Notes/Commit messages/Comments - A new AI discussion Bryan Richter via ghc-devs
• Windows failure with annotations Facundo Domínguez via ghc-devs
  • Re: Windows failure with annotations Sylvain Henry via ghc-devs
• GitLab stalling Simon Peyton Jones via ghc-devs
  • Re: GitLab stalling Magnus Viernickel via ghc-devs
• Very very slow Hadrian Simon Peyton Jones via ghc-devs
  • Re: Very very slow Hadrian Brandon Allbery via ghc-devs
  • Re: Very very slow Hadrian Andreas Klebinger via ghc-devs
  • Re: Very very slow Hadrian Simon Marlow via ghc-devs
• Currently no native x86_64 darwin runner Magnus Viernickel via ghc-devs
• GHC 10.0.1-alpha1 is now available Zubin Duggal via ghc-devs
  • Re: GHC 10.0.1-alpha1 is now available George Colpitts via ghc-devs
• GHC 9.14.2-rc2 is now available Zubin Duggal via ghc-devs
• short downtime to revert a bug in gitlab-registry Magnus Viernickel via ghc-devs
  • Re: short downtime to revert a bug in gitlab-registry Magnus Viernickel via ghc-devs
• Bootstrapping GHC 9.14.2-rc1 with GHC-9.12.4? Viktor Dukhovni via ghc-devs
  • Re: Bootstrapping GHC 9.14.2-rc1 with GHC-9.12.4? Viktor Dukhovni via ghc-devs
  • Re: Bootstrapping GHC 9.14.2-rc1 with GHC-9.12.4? Zubin Duggal via ghc-devs
• Windows CI runner sponsorship extended Bryan Richter via ghc-devs
• Test failure Simon Peyton Jones via ghc-devs
  • Re: Test failure Sam Derbyshire via ghc-devs
  • Re: Test failure Simon Peyton Jones via ghc-devs
  • Re: Test failure Simon Jakobi via ghc-devs
• --flavour=quickest being deprecated Andreas Klebinger via ghc-devs
• Short gitlab downtime to apply a fix Magnus Viernickel via ghc-devs
  • Re: Short gitlab downtime to apply a fix Magnus Viernickel via ghc-devs
• Runners are back up Magnus Viernickel via ghc-devs
• short gitlab downtime to upgrade to latest patch version Magnus Viernickel via ghc-devs
• hie-bios -> hie-biot.bat change broke HLS : needs chmod + x Alan & Kim Zimmerman via ghc-devs
  • Re: hie-bios -> hie-biot.bat change broke HLS : needs chmod + x Magnus Viernickel via ghc-devs
• Home Improvement charlotte--- via ghc-devs
• ghc handbook Sasha Bogicevic via ghc-devs
  • Re: ghc handbook Julian Ospald via ghc-devs
  • Re: ghc handbook Sasha Bogicevic via ghc-devs
  • Re: ghc handbook Julian Ospald via ghc-devs
  • Re: ghc handbook Wolfgang Jeltsch via ghc-devs
  • Re: ghc handbook Sasha Bogicevic via ghc-devs
  • Re: ghc handbook chessai via ghc-devs
• report from the gitlab front Magnus Viernickel via ghc-devs
  • Re: report from the gitlab front Simon Peyton Jones via ghc-devs
  • Re: report from the gitlab front Julian Ospald via ghc-devs
• CI issue resolved Magnus Viernickel via ghc-devs
• Help Diagnosing 9.14.1 compiler "crash" Justin Bailey via ghc-devs
  • Re: Help Diagnosing 9.14.1 compiler "crash" Simon Peyton Jones via ghc-devs
  • Re: Help Diagnosing 9.14.1 compiler "crash" Justin Bailey via ghc-devs
  • Re: Help Diagnosing 9.14.1 compiler "crash" Simon Peyton Jones via ghc-devs
• Unable to create personal access token at gitlab.haskell.org Eric via ghc-devs
  • Re: Unable to create personal access token at gitlab.haskell.org Magnus Viernickel via ghc-devs
  • Re: Unable to create personal access token at gitlab.haskell.org Bryan Richter via ghc-devs
• GHC 9.12.5 RC3 is now available Magnus Viernickel via ghc-devs
• GHC 9.14.2-rc1 is now available Zubin Duggal via ghc-devs
  • Re: GHC 9.14.2-rc1 is now available Hécate via ghc-devs
• GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Hécate via ghc-devs
  • Re: GHC LLM policy vs copyright Andreas Klebinger via ghc-devs
  • Re: GHC LLM policy vs copyright Wolfgang Jeltsch via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Wolfgang Jeltsch via ghc-devs
  • Re: GHC LLM policy vs copyright Moritz Angermann via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Wolfgang Jeltsch via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Moritz Angermann via ghc-devs
  • Re: GHC LLM policy vs copyright Wolfgang Jeltsch via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Andreas Klebinger via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Andreas Klebinger via ghc-devs
  • Re: GHC LLM policy vs copyright Andreas Klebinger via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Julian Ospald via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Chris Smith via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Moritz Angermann via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Tom Ellis via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Tom Ellis via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Tom Ellis via ghc-devs
  • Re: GHC LLM policy vs copyright Moritz Angermann via ghc-devs
  • Re: GHC LLM policy vs copyright Julian Ospald via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright andrew.lelechenko--- via ghc-devs
  • Re: GHC LLM policy vs copyright Viktor Dukhovni via ghc-devs
  • Re: GHC LLM policy vs copyright andrew.lelechenko--- via ghc-devs
  • Re: GHC LLM policy vs copyright Viktor Dukhovni via ghc-devs
  • Re: GHC LLM policy vs copyright amindfv--- via ghc-devs
  • Re: GHC LLM policy vs copyright andrew.lelechenko--- via ghc-devs
  • Re: GHC LLM policy vs copyright Carter Schonwald via ghc-devs
  • Re: GHC LLM policy vs copyright Jaro Reinders via ghc-devs
  • Re: GHC LLM policy vs copyright Carter Schonwald via ghc-devs
  • Re: GHC LLM policy vs copyright Jaro Reinders via ghc-devs
  • Re: GHC LLM policy vs copyright Carter Schonwald via ghc-devs
  • Re: GHC LLM policy vs copyright Carter Schonwald via ghc-devs
  • Re: GHC LLM policy vs copyright Jaro Reinders via ghc-devs
  • Re: GHC LLM policy vs copyright Carter Schonwald via ghc-devs
  • Re: GHC LLM policy vs copyright Jaro Reinders via ghc-devs
  • Re: GHC LLM policy vs copyright Carter Schonwald via ghc-devs
  • Re: GHC LLM policy vs copyright Jaro Reinders via ghc-devs
  • Re: GHC LLM policy vs copyright amindfv--- via ghc-devs
  • Re: GHC LLM policy vs copyright Carter Schonwald via ghc-devs
  • Re: GHC LLM policy vs copyright Jaro Reinders via ghc-devs
  • Re: GHC LLM policy vs copyright Jaro Reinders via ghc-devs
  • Re: GHC LLM policy vs copyright Carter Schonwald via ghc-devs
  • Re: GHC LLM policy vs copyright Andrei Borzenkov via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
  • Re: GHC LLM policy vs copyright Wolfgang Jeltsch via ghc-devs
  • Re: GHC LLM policy vs copyright damiancoding--- via ghc-devs
• A shared statement on our environment in the face of LLMs Moritz Angermann via ghc-devs
  • Re: A shared statement on our environment in the face of LLMs Hécate via ghc-devs
  • Re: A shared statement on our environment in the face of LLMs Wolfgang Jeltsch via ghc-devs
  • Re: A shared statement on our environment in the face of LLMs Teo Camarasu via ghc-devs
  • Re: A shared statement on our environment in the face of LLMs Julian Ospald via ghc-devs
  • Re: A shared statement on our environment in the face of LLMs Wolfgang Jeltsch via ghc-devs
  • Re: A shared statement on our environment in the face of LLMs Teo Camarasu via ghc-devs
  • Re: A shared statement on our environment in the face of LLMs Julian Ospald via ghc-devs
  • Re: A shared statement on our environment in the face of LLMs Teo Camarasu via ghc-devs
  • Re: A shared statement on our environment in the face of LLMs Wolfgang Jeltsch via ghc-devs
  • Re: A shared statement on our environment in the face of LLMs Moritz Angermann via ghc-devs
  • Re: A shared statement on our environment in the face of LLMs Bryan Richter via ghc-devs
• LLM-generated code review as a service Simon Jakobi via ghc-devs
  • Re: LLM-generated code review as a service Tom Ellis via ghc-devs
  • Re: LLM-generated code review as a service Zubin Duggal via ghc-devs
  • Re: LLM-generated code review as a service Cheng Shao via ghc-devs

• Earlier messages