I'm at Slashdot waiting for Voat to get some capacity in place. Right now it's behind a CloudFlare DDOS mitigation tool that blocks NoScript users.

Would Rampart have been better if it were about building a castle and then blowing it up with cannons?

Which would make for a pretty big generic kernel if it has to handle every possible bus through which bootable storage can be accessed, and through which the decryption password can be entered, on every PC since the Pentium II.

I was sort of referring to tablets and tablet-laptops, which are likely to come with an internal SSD as small as 16 to 32 GB, or to bootable USB flash drives.

The drivers for which system? Or are you referring to abandoning the concept of a binary "generic kernel" in favor of recompiling the kernel for each machine on which it will be used, every time it is installed or updated?

Yet the unused modules in a generic kernel are still occupying space on the boot drive. For a smaller flash-based system, this can become significant. Even on an HDD-based system, more modules loaded before the file system comes up means more time to load the initial RAM disk.

Yes, in the sense that a robot should take duration of its useful mission as an optimization parameter.

Not in a lone mission, but yes in a mission where multiple robots must cooperate, such as one rescuing another from a crater.

If a human machine programmer can, say, put out ten musical albums of comparable quality to the one that a human recording artist can put out in the same time, that's still a win for having the best tool for the job.

not to mention that greece has ~250 fighter jets to fight their big bad nato ally turkey.

the greeks are seemingly totally ignorant of happenings inside europe so it would be only just if they were to be kicked out.

they need a currency they can print, so they can keep raising pensions and social benefits(who cares if the inflation is actually higher than the raises).

and if they had been forced to cut their pensions etc earlier?

greece just took debt for a decade and used it to pay for social benefits they had no money to pay for and to pay for a military that's way bigger than they need.

and now the government is saying that somehow, magically, this all can continue with them staying in the euro. the only way they can continue to pay their pensions, benefits and state servants(including military) is going to start printing drakhmas, which will subsequently inflate like there's no tomorrow.

They only want people who are at least slightly tech-savvy to think it's a totally new browser. They want stupid people who don't know anything to think it's the same old browser they're already familiar with. Changing the name while keeping the icon seems like a good way to accomplish these goals.

that's what the greek people expected to happen. just printing more money.

NOW essentially what the goverment can do is to tax all money that is being held in greek accounts, almost the same as just printing new money.

they can't just print more money since they're in the euro, but the people still expect (and syriza promised to !) to pay money as usual. they expect that the government pays out more money than it has because that's "democratic".

also a confusing ballot is democratic according to syriza.. with an unlawlully short campaign time to boot. not that it matters, the cash is going to run out anyways. it's like the prime minister and finance minister either deliberately try to run the country into a crisis or they don't have even cursory knowledge of how things work.

don't forget being able to use drivers made for win X and osX...

Yet. A league for a given game needs a plan for its long-term existence should the game's publisher get bought by a holding company unfriendly to the league. Besides, if the exception were to stop being the exception and start being the rule among major video game publishers, how would leagues react? And the Ars Technica article I linked earlier states that Capcom also requires royalties for Street Fighter tournaments.

"No one will pay attention to your league" is not the same thing as "you would be sued for even attempting to draw attention to your league."

For one thing, a lot of skills won't transfer, especially the need to re-learn how everything is balanced. It'd be like trying to switch from Tetrinet to Puyo Pop or from baseball to cricket or from soccer to Gaelic football. For another, once a league switches to a different game, how can the league be sure that the new game's copyright won't get sold, such as at acquisition or bankruptcy, to another "company that is being irritating"? I can't see any way other than making sure the game is free software or has some other sort of irrevocable guarantee of non-interference with public performance for profit.

Independent baseball leagues are free to make money without having to negotiate with any owner of exclusive rights to a sport, as were the African-American leagues before them.

By no means does a static proof of type safety substitute for all unit tests, but it still substitutes for some. Or could you explain why it doesn't?