[Haskell-cafe] How to create an online poll

Rick R rick.richardson at gmail.com
Thu Feb 19 11:04:27 EST 2009

I think the capabilities community including E and Coyotos/BitC have
extensively addressed this topic. Coyotos is taking the correct approach for
trusted voting platform. Since, even if your software is trustworthy, it
can't be trusted if the OS on which it runs is suspect. However, we might
have a few more rigged elections before we see any deliverables from

On Thu, Feb 19, 2009 at 2:45 AM, Ketil Malde <ketil at malde.org> wrote:

> Rick R <rick.richardson at gmail.com> writes:
> > I'm sure Premier Election Solutions (formerly Diebold) can provide us
> with
> > an online voting solution.
> You know, while the recent voting scandals have been milked for all
> they're worth by the open source community, FP has been very quiet
> about it.  Isn't this an application where correctness matters?  How
> about a proof that the software never loses (or injects) votes, for
> instance?
> -k
> --
> If I haven't seen further, it is by standing in the footprints of giants

We can't solve problems by using the same kind of thinking we used when we
created them.
   - A. Einstein
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090219/e50fedd5/attachment.htm

More information about the Haskell-Cafe mailing list