221 karma · joined April 1, 2014
"right to the residual income from its resale" sounds like a very weird right to me, and doesn't really come from any sound ethical foundation. In fact, it's exactly the opposite for physical goods. If I buy a deck of cards, and then sell (or give) it to somebody else, I've technically deprived the creator of the deck of cards of residual income from resale, but they don't have a right to it from the first sale doctrine.
The Rust compiler can (and does) have bugs, but they get weeded out over time. But so can whatever proof system or proof checker is used on SEL4.
As for integer overflow, yeah...that's a hard problem with Rust, and unfortunately, unlikely to be fixed.
The other two are really part of the same coin. Having green threads involves having a runtime that has to be started. Deciding to remove the runtime means removing the green threads.
We've found that legalizing marijuana has so far been helpful. I just hope it's not the last step.
Whether you should be using it for the problem XSLT tries to solve is another question. Probably not, since there are other templating languages.
Also, I just realized that this page wasn't here yesterday. Congrats on releasing!
You mean just like it is hard to spot potential threats in physical mouth to ear communications?
Why is it okay to look at internet data for threats but not okay to put listening devices on every person? Seems like it's the same flow of data coming in either way.