NASA's Curiosity rover brought Earth BUG to Mars

Yes .... but we can rebuild it, humanity on Earth, with IT Programs and ProgramMING

Nice

So the alien archeologists examine the rover sent to mars and deduce humanity died out down to shoddy programming. .... Lionel Baden

Hmmm, many a true word is said in jest, LB, and is in steganography quite a valued transparent code in matters that might in other cases, .... deemed by concerned and/or terrified others to be better kept secret and generally unknown ..... warrant encryption and/or the likes of NSL protection.

IT never rains but IT pours ..... and this is appropriately APT and relevant here, for it has been built and builds upon pervasive algorithm bugs which be transformed in other systems of operation and fields of SMARTR Advanced ProgramMING Play into Heavenly Opportunities Exploiting Serial Primitive Weaknesses which some may conclude to be an Inherent Systemic Flaw?

amanfromMars [1406270922] adding more on http://thedailybell.com/news-analysis/35428/No-We-Are-Not-Fans-of-Open-Source-Public-Solutions/

And furthermore, if one be talking of turkeys in current positions of present power, one will have to realise that they, the turkeys, unless they have accepted special future training from enabling deadly action forces and are even mildly cognitive of the dire consequences for themselves in plumping for the pumping and pimping of the maintenance and retention of the status quo rather than being instrumental in Brave New Worlds with New AIDealings, will not be voting for Xmas, so will have to hunted down and rooted out and as exposed as the killjoys that they are and have become.

A simple truth which is impossibly complex to deny or successfully battle against, as every turn to hide and repress and suppress and obfuscate the honest picture, discovers and uncovers the Bigger Picture which leads to tales which reveal more of the all and sundry to everyone from ....... well, the Advanced Intelligent Crowd[s] in Cloud[s] is something to follow if you want to know what the Future is planning in the Virtual Fields and Alternate Landscapes of Concept Generation and Concept Development ProgramMING ....... Program Mined Intelligence Network Games/Mind Infiltration Networking Games.

To imagine in a novel and noble age of unprecedented virtually instantaneous global communication, where the works of a day and a zeroday can unravel and expose the labour of millennia as a contrived sham and lucrative schema, that past masters of ignorance will rule with reign and reins in a future with growing intelligence, is a risible arrogance borne and born of ignorant masters of the past to be virtually lost and practically forgotten and only remembered by students of history.

Thank for all the thoughts and common sense, Robert. As you can read, are they much appreciated here.

There's a lot going on out there, El Reg, and all of it good except for that which targets the bad, and that is great.

already debunked? http://fastcompression.blogspot.co.uk/2014/06/debunking-lz4-20-years-old-bug-myth.html?m=1

Off topic

And just to go off topic - "Curiosity rover brought Earth BUG to Mars".

Brought ?? Huh?? I think the correct word required here is "took".

With a UK domain to your name, you might at least try to translate American headings / text in to English. Using American phrases like "...bringing him to jail." and "...I'm going to bring him something." are really starting to hurt. We English still use take, taken & took, so please don't forget them.

- Grammar Police (UK division)

"On the other hand, there is a pretty cool article on formal verification ("Reasoning and Verification: State of the Art and Current Trends") in "IEEE Intelligent Systems" of January ..."

I would hope that this will eventually come to the fore ...

I studied formal verification methods many years ago and when I went for an interview and asked about verification of software the company said 'we test it extensively'. I believe that to still be the case in nearly, if not all systems today (including military and critical systems.)

Exploited

By the Martians.

They have injected code into all of our landers to return only images of cold, barren wastelands instead of seas, canals, lush gardens and incredibly hot Martian women.

to be featured in FW emails from the over sixties everywhere.

FYI I filter FW emails out on the server

Slight exaggeration?

"A reminder of how developers build on 'trusted' systems like LZO. That trust turns out to have been misplaced"

It's not really at OpenSSL levels of incompetence though, is it? That really is an abuse of trust.

Developers build on 'trusted' systems

"the emergence of the bug is a reminder of how developers build on 'trusted' systems like LZO. That trust turns out to have been misplaced"

I don't follow your thought-processes, unless a company is prepared to have its own programmers go through the code, then you have no other option but to accept the code as relatively bug free.