The Chinese authorities will hold him until they feel he has given them all he knows, then quickly extradite him to the US.
At that point he will probably try to get to Europe. If he makes it, his appeal to those governments on humanitarian grounds may be weakened by the fact the first country he picked practices capital punishment far more than the US (more than every other country in the world combined):
He could have fled to Europe in the first place just as easily. For example, US citizens are exempt from visa requirements for short stays (90 days) in France -- la Patrie des droits de l'homme -- from where he would have had direct access to the ECtHR...
Every browser seems to implement its own password management scheme. None of them are as good as the same functionality that already exists in the operating system. Browsers should request access to passwords from the OS when needed, perhaps once per session.
I think the US government is not on the list because they don't need this program. The NSA finds its exploits directly from the source code, which Microsoft shares with them and many other governments, not second-hand from Microsoft.
Although this wasn't news to most people here, keep in mind that the US has always denied doing economic espionage, against China or anyone else. The Snowden leak also revealed that the largest target of US espionage in Europe is Germany -- I can't think of any reason for that other than economic espionage. This certainly raises questions.
There exist proof and verification tools for C, like ACSL and Frama-C, [1] or LCL and Splint. [2,3] Not to mention the myriad of static and dynamic analysis tools. You can prove that a piece of C code does or doesn't contain certain bugs -- this is not the case for higher-level languages (except perhaps Haskell and ML). That is why C is used for highly sensitive projects like avionics.
I'm glad I came across this article. I'm learning Python and was given that advice to use multiprocessing rather than threading, but hadn't researched why. Very informative, thanks for sharing.
Without going into the technical details described by other commenters here, this is my understanding of the problem (please correct me if I'm wrong): You receive the code that is run, from the same entity you should be protecting yourself from -- that being the Cryptocat server. This is a big contradiction.
One really should assume that if a service can be compelled to act against the interests of its users, that will eventually happen.
The fact that their website still doesn't have a viewable demonstration of their software suggests it actually isn't so easy to make interactive content like Snow Fall.
You can always put the idea on hold for a while, and find regular work until you decide to go back to it. The work you put into it so far isn't going anywhere.
(Edit: You forgot to subtract one before setting the lower bits and incrementing. If you omit that step, both these algorithms give the same result.)
Actually this algorithm is faster for smaller numbers too, because it always performs less operations in the loop -- one shift as opposed to a shift and a bitwise or.
We were taught sine, cosine and tangent in the context of how they could be used to derive angles from other angles, not what they were and how they worked. They were presented as tools that could be used in particular ways that had to be memorized.
This has to be the worst things you could do to a student in a math class. In engineering they call it "plug and chug" -- students must plug numbers into a formula they've memorized and come up with an answer.
By the way, we learned trigonometry with the unit circle. If we forgot a formula, we'd just draw a little circle and derive it. I'm always grateful for that teacher.
Past Mach 10, a layer of plasma is formed on the leading surface of the aircraft, which RF cannot traverse. This is also why atmospheric reentry occurs in a blackout. There's a good explanation of the phenomenon here:
Congratulations on a successful test flight. Aircraft that fly up to Mach 10 can still use radio communication. That wasn't the case with the Falcon Project's HTV-2. I guess the Air Force wants a GPS-guided hypersonic cruise missile.
I'm glad the subject is being studied, it's a very interesting problem. Proper solutions are much more sophisticated than it seems. You have to ensure that the checks you use in the checker functions don't themselves cause overflows. If you're interested, I'll write about an algorithm for your WillOverflow function which has been proved correct.
At that point he will probably try to get to Europe. If he makes it, his appeal to those governments on humanitarian grounds may be weakened by the fact the first country he picked practices capital punishment far more than the US (more than every other country in the world combined):
http://www.amnesty.org/en/death-penalty/death-sentences-and-...
He could have fled to Europe in the first place just as easily. For example, US citizens are exempt from visa requirements for short stays (90 days) in France -- la Patrie des droits de l'homme -- from where he would have had direct access to the ECtHR...