<div dir="ltr"><span id="gmail-docs-internal-guid-c13892c7-7fff-cc0a-7209-0056a06c92aa"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Hello Election Methods List!</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Greetings from Madison, Wisconsin, USA. I’m Carl Schroedl. By day I’m a professional software engineer. By night I volunteer on the Pivot Libre open source project. The project has produced an open source library called Tideman for calculating Ranked Pairs election results and an open source web app called Pivot that lets people execute ad-hoc Ranked Pairs elections via their web browser. I invite you to try it out here:</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><a href="https://pivot.vote" style="text-decoration-line:none"><span style="font-size:11pt;font-family:Arial;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">https://pivot.vote</span></a></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">If you don't want to create an account, you can simulate elections with textual ballots here:</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><a href="https://pivot.vote/open/try" style="text-decoration-line:none"><span style="font-size:11pt;font-family:Arial;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">https://pivot.vote/open/try</span></a></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">It’s seeing more usage than we thought. While most usages are non-governmental, a committee in the municipal legislature of Madison used it to nominate an interim legislator. Since the city of Madison is currently reevaluating its fundamentals through a Task Force on Government Structure, I’m hoping this app encourages the adoption of alternative voting systems. We already have a lot of tests to ensure our system is correct, but in light of this success, we’d like to further increase our confidence.</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">I know we’re not the first people to verify the correctness of their electronic voting system, and I doubt we’ll be the last. How would list members recommend we proceed? Julien Boudry (</span><a href="https://condorcet.vote" style="text-decoration-line:none"><span style="font-size:11pt;font-family:Arial;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline;white-space:pre-wrap">https://condorcet.vote</span></a><span style="font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">) and I were considering creating a repository of machine-readable test ballots with expected election outcomes so that multiple projects could run the same tests. Does such a resource exist? If not, would anyone be interested in collaborating?</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">All the best,</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Carl</span></p></span><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><br>Carl Schroedl | <a href="mailto:carlschroedl@gmail.com" target="_blank">carlschroedl@gmail.com</a> | <a href="http://carlschroedl.com/blog" target="_blank">http://carlschroedl.com/blog</a><br></div></div>