267 karma · joined October 6, 2017
> does this actually introduce any new features
Well, the current system doesn't allow you to verify that your vote was counted, so that's what it adds.
No, because it'll still be counted manually by humans. What the cryptographic layer allows you to do is verify that your vote was properly counted or allow a trusted third-party to verify that for you. It doesn't take anything away from the paper voting system but only adds to it. That said, you'd still have to trust the device that generates your tracker, but maybe they've found a way to deal with that.
I can definitely recommend reading through the first half of Genode Foundations (the second half is just an API reference). It's really interesting and informative, and it's a surprisingly easy read as well. However, I'd wait till the 19.05 edition gets released, since that should be less than a month's wait if they manage to release it on time.
[0] https://genode.org/documentation/genode-foundations-18-05.pd... (page 92) [1] (pages 94 & 116)
GitHub: https://github.com/iodide-project/iodide
Post explaining what it is: https://hacks.mozilla.org/2019/03/iodide-an-experimental-too...
It uses this markdown like file format: https://iodide-project.github.io/docs/jsmd/
https://softwarefoundations.cis.upenn.edu/
And it's free.
Well, that's what Filecoin is for. Although I'm generally skeptical of cryptocurrency, as well as the scalability of technologies like IPFS. But we'll see.
As far as I'm aware, it's the worst smelling chemical known to humans and has no damaging long term effects. You just have to be veeery careful about it unless you want to stink up the whole town by accident.
I'm looking forward to capability-based systems with microkernels, since they really improve on the situation, but I think it'll take a while until we get some major ones. Maybe Google's Fuchsia will establish itself soon enough, who knows? (We'll also have to see what can be done about hardware security, since any software mitigation could potentially be rendered useless by insecure hardware.)
Well, how advanced exactly are we talking about?
Or WebAssembly, for which many languages now have a backend.
And to clarify something that's probably obvious. A direct pointer to a vector element could easily end up becoming invalid when the vector has to be copied somewhere else for it to grow or if the element gets deleted in another thread, so you can't just easily use pointers to vector (or array) elements in Rust.
Now this piqued my interest, so I took a look at Wikipedia[1]. Interestingly enough, England seems to allow recording phone calls without notifying the other party as long as it is only for personal use and not made available to a third party, but US Federal law does not seem to have such a stipulation, thus presumably allowing people in one-party consent states to post recordings of phone calls on social media without the other party's consent (unless the state forbids that. It's a bit hard to find concrete information on this), which is pretty troublesome I think. However that is only for telephone recordings and not for private conversations, so maybe the laws are a bit more sensible in that case.
This is exactly what is happening with Go right now. Many pros are emulating and learning from AlphaGo (Zero) and are starting to play moves that were always thought to be suboptimal until now.