[Hcoop-discuss] Next round of server name poll?

Adam Chlipala adamc at hcoop.net
Tue Sep 27 23:12:12 EDT 2005


Does anyone have an algorithm to suggest for constructing the next poll, 
based on the results of the current one at whatever time we choose to 
cut it off?  In particular, we need to figure out which choices survive 
to the next round and how many votes each person gets.




More information about the HCoop-Discuss mailing list