Forgot your password?

typodupeerror

Comment: Re:Misleading... (Score 1) 389

by Ckwop (#35230036) Attached to: Lawmaker Reintroduces WikiLeaks Prosecution Bill

Neither this law, nor the original version of it, would have retroactive applicability; in other words, you can't make something illegal today, and then prosecute the guy that did it yesterday

It also wouldn't apply outside the US either, which is sort of a problem. What's to stop a Wikileaks clone starting in say, Iran, and doing the same amount of damage as Wikileaks?

It's weird in a way, I thought America came out of the Wikileaks cables pretty well. America acted, for the most part, in private exactly as they acted in public. It's everyone else that looked like a bunch of douche bags.

As a Brit, it's done more to repair the reputation of the US than, say, the election of President Obama. I've actually surpised myself with that sentence, but it's actually true!

Comment: Re:Spacetime (Score 1) 520

by Ckwop (#35056564) Attached to: Kilogram Gets Controversial; Why Not Split the Difference?

Mass bends space-time, right? So why not define it as a certain amount of curvature - say the mass needed to bend a light beam in vacuo by some measurable amount, divided by a chosen constant to give 1kg according to the theory.

That would couple the kilogram to G, which we know less _much_ less precisely than the current kilogram.

A better, but equally flawed, solution would be redefine the kilogram in terms of the electron. After all, we can measure its rest mass to a great degree of accuracy. But then usuable amounts of mass would be inaccurate to the level of precision given to Avogadro's constant.

It's a harder problem than it looks.

Comment: Re:100% coverage is expensive (Score 1) 292

by Ckwop (#33965522) Attached to: Google Rolls Out Chrome 7

A test suite that guarantees 100% coverage is called formal verification

While I agree with most of your comment, that part is not correct. Having 100% statement coverage is not enough to achieve a formal verification.

There could be:

  1. Missing code - e.g. an exception that isn't caught that leads to the crash of the program in some circumstance outside your test cases (see Ariane 5).
  2. A sequence of calls that leads to a problem. e.g. A procedure has three upstream callers, and you got 100% coverage using two of those upstream callers. The third one doesn't satisfy the pre-condition and "boom."
  3. The code might actually be incorrect with respect to some edge case. For example, a 30 year old bug was recently discovered in a sort program because it used 32-bit ints. It failed to correctly sort a list larger than four billion items.

In short, you can never test you way to perfect software, unless you can prove your test cases constitute a formal verification. It shouldn't surprise you that this is as hard as simply verifying the program.

Comment: Re:Real time updates (Score 1) 119

by Ckwop (#33731834) Attached to: Almost-Satnav For Cycling

Those who ride longer distances/more strenuous routes seem to think it is worth wearing even when having to put up with ribbing/heckling from people like you, so apparently the benefits are noticeable enough to make it worth their while to pay the extra expense of cycling gear

I cycle 13 miles to and from work every day wearing Lycra. I know I look like an idiot but wearing that stuff gets me home about ten minutes faster than wearing t-shirts and shorts.

I'd rather have 50 extra minutes with my wife a week than Kowtow to the hecklers. Besides, most of them are throwing stones in glass houses anyway - they're hardly supermodels are they?

Comment: Re:Stuff you'll never see in the USA (Score 1) 341

by Ckwop (#32292732) Attached to: House Votes To Expand National DNA Arrest Database

Would this ever happen here in the US (you know, the home of the free)?

A month ago we were the laughing stock of the world. Every (learned) American knew the UK as the place where the nightmare of 1984 was coming to pass. The slow drip, drip, drip of authoritarianism would erode one of the world's oldest democracies.

Then came the election and the hung parliament. Suddenly the Conservatives and the Liberal Democrats joined together in to a machine that seems to be greater than then sum of its constituent parts.

Overnight, the country has gone from a 1984 wannabe dictatorship to a liberal paradise. They even have a plan to pass an act that prevents unnecessary criminal statues. WTF?

If this works like the Parliaments act in that the same legislation must be passed in two Parliaments for a criminal statue to become law, then this would be a giant constitutional innovation. Forcing there to be a general election between criminal bills would prevent some of legislative diarrhoea that we saw towards the end of the last Parliament.

I feel proud to be a Brit again!

Simon

Comment: Re:You're looking at it wrong. (Score 1) 750

by Ckwop (#31295746) Attached to: Should I Take Toyota's Software Update?

Which is why I don't like push-button ignition. If my car ever goes into hyperdrive because of a stuck throttle, I take comfort in knowing I still have a kill switch, and I grew up driving tractors and cars without power steering or power-assist braking, so I can cope.

If you gas pedal ever got stuck down, the solution is not to turn of the engine. This can cause all sorts of additional problems.

You put the car in to neutral. This disconnects the engine from the transmission allowing you to stop safely. I believe even automatic cars have a neutral gear, so this technique will work for those cars too.

This technique should be taught as part of learning to drive, whereever you live. It takes ten seconds to explain and could save quite a few lives.

Comment: Re:Four YEARS? (Score 1) 561

by Ckwop (#30877832) Attached to: Claims of Himalayan Glacier Disaster Melt Away

and thats just the problem, they rely on models, which are hopeless (i write software that produces resource industry models for a living, so i know some of the pit falls). let me put it to you this way - the weather man can't predict the weather for the comming week. but for some reason you think they can predict the weather 100 years into the future accurately?

Are you surprised casinos make money? After all, I can't predict every spin of the roulette wheel, every throw of the dice, every card that comes out. Even so, casinos do in fact make money! They do because over many iterations the games are balanced in favour of the casino.

The weather is much like the individual spin of the roulette wheel or the throw of the dice; it is inherently unpredictable. However, just like the casino games, the overall *statistics* of the weather is not unpredictable at all. We call these statistics "the climate."

So not being able to predict the weather has absolutely no bearing on whether we can predict the climate. The two problems are entirely separate.

However, it is obviously much harder to model the statistics of climate than it is to model the statistics of the roulette wheel; and the accuracy of such models is currently what is under scrutiny.

Simon

You can't expect a boy to be vicious till he's been to a good school. -- H.H. Munro

Working...