I’m agreeable! Thank you for stepping up Adam! On Wed, 17 Jan 2024 at 5:08 PM, Adam Gundry wrote:

Yes, many thanks to Joachim for all your work over the years as secretary!

As Simon mentioned, I'm in principle willing to take on the role, if the committee is agreeable. Please do confirm if you're happy with this, or say if you'd like to volunteer yourself or propose a different course of action.

Cheers,

Adam

On 11/01/2024 09:00, Simon Peyton Jones wrote:

...

Dear GHC Steering Committee

Joachim's term of membership in the GHC SC comes to an end in March, and he wants to stand down as our Secretary.

Joachim, you have done a fantastic job as our secretary, nudging us with regular status updates, making sure we hold membership nomination processes, and much more besides. You have made sure that we function well as a committee, and I for one have leaned heavily on your support. Thank you so much.

Would anyone else like to be Secretary? I am delighted to say that Adam is willing to serve, but if anyone else would like to join in or share the role, that would be great too. Thank you Adam!

RSVP!

Thanks again Joachim.

Simon

-- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/

Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

Thank you Joachim! Thank you Adam! Thank you Simon! On Thu, 18 Jan 2024 at 7:12 PM, Simon Peyton Jones < simon.peytonjones@gmail.com> wrote:

Dear GHC Steering Committee

I got one reply (from Moritz) to my email below. I hope that the rest of you received it.

That means that no one else is putting themselves forward to be Secretary. *So I declare that Adam is duly appointed as Secretary to our committee*. Thank you Adam!

And renewed thanks to Joachim for being such a great Secretary.

Simon

On Thu, 11 Jan 2024 at 09:00, Simon Peyton Jones < simon.peytonjones@gmail.com> wrote:

...

Dear GHC Steering Committee

Joachim's term of membership in the GHC SC comes to an end in March, and he wants to stand down as our Secretary.

Joachim, you have done a fantastic job as our secretary, nudging us with regular status updates, making sure we hold membership nomination processes, and much more besides. You have made sure that we function well as a committee, and I for one have leaned heavily on your support. Thank you so much.

Would anyone else like to be Secretary? I am delighted to say that Adam is willing to serve, but if anyone else would like to join in or share the role, that would be great too. Thank you Adam!

RSVP!

Thanks again Joachim.

Simon

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

Thank you Adam for taking this on. And many thanks to Joachim for the long years of tireless service! On Sun, 21 Jan 2024 at 19:39, Eric Seidel wrote:

Thank you Joachim for your service as Secretary! And thank you Adam for volunteering to take over!

...

Dear GHC Steering Committee

I got one reply (from Moritz) to my email below. I hope that the rest of you received it.

That means that no one else is putting themselves forward to be Secretary. *So I declare that Adam is duly appointed as Secretary to our committee*. Thank you Adam!

And renewed thanks to Joachim for being such a great Secretary.

Simon

On Thu, 11 Jan 2024 at 09:00, Simon Peyton Jones wrote:

...

Dear GHC Steering Committee

Joachim's term of membership in the GHC SC comes to an end in March, and he wants to stand down as our Secretary.

Joachim, you have done a fantastic job as our secretary, nudging us with regular status updates, making sure we hold membership nomination

...

...

Would anyone else like to be Secretary? I am delighted to say that

Adam is willing to serve, but if anyone else would like to join in or share

On Thu, Jan 18, 2024, at 05:12, Simon Peyton Jones wrote: processes, and much more besides. You have made sure that we function well as a committee, and I for one have leaned heavily on your support. Thank you so much. the role, that would be great too. Thank you Adam!

...

...

RSVP!

Thanks again Joachim.

Simon

_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

---

ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee

-- Arnaud Spiwack Director, Research at https://moduscreate.com and https://tweag.io.

Hi, Am Montag, dem 22.01.2024 um 20:47 +0000 schrieb Adam Gundry:

(Joachim, if you have any particular pointers for how to do this, e.g. regarding the specific voting mechanism you've used in previous rounds, that would be welcome.)

because we do this thing where we have a slightly varying committee size and am happy to take on more good candidates than absolutely necessary, I did an overly complicated ranked voting system. The email I sent during the last regular round, with three candidates, had this section: %%%%%%%%%%%%%%%%%%%%%%%%%%% ## Voting procedure We have currently 7 non-expiring members, and our bylaws say we should have a committee of “roughly 10”, so we can take on all candidates. We should take on at least two, if possible, else we’d be compelled to do another round of nominations (the bylaws say that less than 9 members trigger a call for nomination). To express our options, we’ll use the following ranked voting. In an email to me (or all of us, if you want, but _not_ the mailing list), order the following lines according your order of preference, starting with your most preferred statement: AAA joins the committee BBB joins the committee CCC joins the committee Committee has 9 members, two new Committee has 8 members, one new Committee has 7 members, no new Please vote within one week, until Friday, Feb 19th (or at least briefly ask for an extension). ## Example For example (using made up names), if you think that all candidates are good enough to get us up to 9 members, but you’d rather not grow the committee further except with Donald Duck, then you could write Donald Duck Committee has 9 members, two new Mickey Mouse Peter Pan Committee has 8 members, one new Committee has 7 members, no new If you want to vote against a certain candidate, put their name _after_ “Committee has 7 members, no new”. (Yes, maybe a tad complicated, and it would make more sense if we had more candidates. But I hope you’ll entertain my electorial whims :-) %%%%%%%%%%%%%%%%%%%%%%%%%%% But it may just suffice to go for plain approval voting, where every member says yay or nay, and those approved by a majority are in - up to you. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/