While i've been a fan of RTSs since the days of the brotherhood of nod, it does seem to be much more difficult to find good ones these days.

In particular co-op RTSs seem to be non-existent and most that do support it seem like it was added at the last moment on a whim. If you're interested in a game that has more focus on the S part of RTS, and excellent co-op opportunities, i recommend AI War: Fleet Command. It's an indy game written by a developer who actually cares about it's playerbase(No i'm not that developer, but I do play the game), and makes free DLC available almost every week with bug fixes, gameplay improvements, new units, etc. The gameplay is very asymmetrical. The enemy has already taken over the galaxy and is now distracted with other pursuits. The more planets you capture and the more structures you destroy the more annoyed the enemy becomes, sending larger and more powerful fleets against you. You can't go recklessly taking over every planet you encounter because the enemy would soon be mighty pissed and send everything it has against you.

It's not for everyone, however you should at least check it out if you're finding the RTS platform has been lacking as of late.

How about slashdot? We could make it a game, person who can steal the credentials w/ the lowest UID wins.

By the time you see a big gnab, it will be too late for us... We would be out of scope and thus, wouldn't see our own demise.

Well, with 129! bit address space, I imagine you could individually address every electron in the universe.

Upon looking at the picture I have discovered a fatal flaw in the design.

Solar cells.

I could just see the warning on the HUD now:

"WARNING, battery low, please look directly at the sun to recharge capacity."

And how much ship 250 pounds across the country?

Well i found around $500.

And what pray-tell would be "took in through other illegal activities?" Does selling the drug they bought legally which they otherwise would have bought illegally count in that reduction?

Citation please.

Like in Texas where they use public money to build a highway, and then sell it to company so that they can turn it into a toll road.

If you want to make a toll road fine, but it shouldn't be publicly funded. Sell bonds if you need to raise funds for its construction.

If you want to make a road using public funds, it should be FREE to drive on. None of this double dipping shit.

Usually formal specifications are denoted using some sort of semantics. Large step semantics defines how create a derivation tree. Basically, how is a large program broken up into steps and completed one step at a time. Small step semantics define how an instruction takes one step in a program. There are other various forms of semantics, but each one defines mathematical constructs like stores (mapping from program variables to values), and using these constructs, you can prove different properties about that specification.

.

"bug-free" usually means there is nothing left up to the implementation of the formal specification. For example, in C/C++ dereferencing of null pointers left up to the implementation. This means that one implementation can seg fault because you tried to access invalid memory, and another could return a random value, while another could always return 1. All three of these fully implement the specification because the specification does not define what to do when dereferencing null pointers.

Using a strongly typed language such as Haskell, Ocaml, or most any other functional language helps to prevent cases where the specification doesn't explicitly define an action. For example what is True - 3. In a strongly typed language, this would never compile, so the specification doesn't have to define this case, however in C++ where bools are actually ints this can happen.

.

If a conceptual bug is one where the specification is incorrect, then this proof technique will not catch those "bugs".

.

Usually the first compiler for a language is proven to be correct, and then using this fact, all subsequent compilers can be compiled using the first compiler. For example (i'm going off of memory here) the first ocaml compiler was written in c/c++ and proven to be correct. Once it was proven to be correct, when further optimizations/modifications were needed, a new compiler was written in ocaml, then compiled using the first compiler. Since it is usually easier to prove the correctness of a functional program that is strongly typed, proving the next generation compiler is significantly easier than the first generation.

.

I'm not sure about this. As i'm not familiar with the kernel, it may be that it doesn't interface with any of the hardware itself and interacts w/ the hardware through modules/drivers. If this is so, then the modules/drivers would need to be proven correct as well.

.

The benefits are very large for certain situations. For example, when the nuclear reactor starts to overheat, you want to be able to say with 100% confidence there will not be a meltdown and it will automatically shut itself off. You would want to say (with 100% confidence) that while flying on autopilot, the aircraft will not suddenly decide to go into a nose dive, etc.

.

What i assume that they did was first create a formal specification(denotational semantics, etc) for the kernel, implemented it in Haskell then implemented it in C. They proved that the C implementation is a 1-1 mapping of the haskell program. I wasn't able to determine, but i assume they had already proven that the Haskell program is a correct implementation of the formal specification.

.

My apologies for the formatting.

Just like they can't prove that there was an encrypted drive in the first place right? It's just a partition which contains random data because i have safely deleted the contents, right?

I don't understand the point of having "popular" software the natively supports having 2 keys. One that reveals "safe" data and one that reveals your "secret" encrypted data. If the software becomes popular so too will the knowledge that it supports multiple keys.

You: Okay police officer here is my encryption key.
Police officer: What a nice porn collection... I notice that you're using TrueCrypt, now give us your "other" key
You: Uhh what other key? I don't know what you're talking about.

That whole plausible deniability thing kind of falls off the table w/ truecrypt if it's common knowledge that it contains multiple keys.

Hi, my name is adelanwa hassan and i am bounty hunter in nigeria.

I heard unfortunately you were mistaken into giving monies to certain people in nigeria to rescue their frozen bank funds. Most likely these people are yahoozie and once they unfreeze their bank accounts, they will not give you the promisd frunds. For the low price of 10% of the monies you sent to this yahoozie up front, I can recover 100% of the monies. I accept cash and cachier checks, send me the monies and the email address of the person and i will return your monies, 100% money back guarentee!

If you are willing to give me 20% of the monies you sent up front, i can also attempt to recover a portion the bank monies that were unfrozen with you funds. This is not guarentee though as i have only been able to recover these monies 75% of time.

-adelanwa hassan
Nigerian Bounty Hunter (sorry i just couldn't resist)

Could you enumerate this "Change" that you wanted and received.

It would be very interesting to know.

Black and White was another game that supported the iFeel, unfortunately, i never had one so i can't say how well it worked there.

Honstly, i'd be happy if logitech would start replacing the plastic that hits the microswitches with metal so that they wouldn't wear down after a while and require manual modifications to make them click properly again.

Hrmm... At $220, i too am surprised that it isn't the standard in computing...

pfft.