<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">Matthias, David,<br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><a href="http://ps.informatik.uni-tuebingen.de/team/binder/">David Binder </a>apparently has some PRs for GHC's HPC program coverage stuff that have somehow languished un-merged for some time.   David, can you point us to them, so we can look?</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><a href="https://github.com/Tritlo">Matthias </a>wants to extend HPC in a number of ways.  See <a href="https://github.mpg.is/posts/2022/04/26/better-hpc-traces.html">here </a>and <a href="https://github.com/ghc-proposals/ghc-proposals/pull/539">here</a>.   <br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Maybe you want to talk to each other?  You are both here at ICFP!  <br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">And it would be great to have a little team that cared about HPC more generally, and could look after it.<br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Thanks.  Apologies if I have misunderstood anyone.<br></div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div>