3 ms·
And suddenly I have another use case for my language for specifying scientific protocols. Counting votes in a way that is scientifically verifiable. Turns out k
by hyperion2010 8y ago
And suddenly I have another use case for my language for specifying scientific protocols. Counting votes in a way that is scientifically verifiable. Turns out keeping verifiable lab notebooks for legal reasons is a really similar problem to keeping verifiable vote tallies, also for legal reasons (hopefully). It is telling that we have better provenance systems for far more complex processes but we still haven't managed one for person one vote ....
- lifeisstillgood 8y agoI may be misunderstanding but what language "specifying scientific protocols" do you mean ? Is this published? How does it work (a generic workflow language? The t sounds interesting whatever it is)
- 420basteit 8y agoProbably not the same thing that guy was walking about, but this is a cool project going on at University of Washington - it's made for biological science workflows but it's really quite flexible. https://www.aquarium.bio https://www.aquarium.bio
- skybrian 8y agoThe problem is not very similar. Scientists don't work anonymously, and we aren't trying to prevent scientists from selling their vote.