To be fair, the DRAM bit flipping thing doesn't work on ECC RAM, and any half-decent server (especially if you run an AI on it) should have ECC RAM.
But the main idea remains yes : even a program proven to be secure can be defeated by attacking one of the assumptions made (such as the hardware being 100% reliable, which it rarely is) in the proof. Proving a program to be secure down from applying Schrödinger's equation on the quarks and electrons the computer is made of is way beyond our current abilities, and will remain so for a very long time.
Subscribe to RSS Feed
= f037147d6e6c911a85753b9abdedda8d)
The web game greatly suffers from the network effect. There's just very little chance you'll get >=3 people to log on simultaneously, and of course, because of this people will give up on trying, worsening the effect.
Maybe we can designate, say, 12:00 AM and PM, UTC, as hours at which people should log on? This will make it easier to reach critical mass.