[timv]

I once attempted to implement the Senate counting algorithm (mostly so I could force myself to truly understand it).

I can say with great confidence that it is hard to implement correctly, and it would take more than a single external audit to give me confidence that the AEC's implementation is flawless.

[nmrm]

What's up with the yellow lines going from already-excluded parties?

[makomk]

Apparently http://www.grwpub.info/senate/ is the description that goes with that animation. The yellow lines are votes for parties that were already eliminated getting redistributed again because the party their votes had gone to is being eliminated too.