There are several "provably secure" computer systems. As in you can demonstrate they fulfil certain mathematical constraints and those constraints are absolute. Then you have to write the code and prove the code, then you have to hope the prover is correct and the hardwareis correct. Nothing is 100%.

As to the randomisation stuff - yes I've got examples, and we've hit the same thing in Linux with randomisation. You get cases where memory scribbles cause a problem only if the layout happens to be a specific variant (especially with stack randomisation). From "either it dies or it works" you get "1 in 10,000 times xyz app blows up". That does make debugging much much harder. Of course a good reply to that is "so improve the debugging tools".

My dorm doesn't have air conditioning, but we do have a large ice machine in the basement.. if I could just figure out how to get rid of the water without ripping a hole in the window screens, this might actually work. Of course, I also have to deal with where to put a garbage can full of water in my tiny room and convincing my roommate that the 5 degree difference is worth the eyesore...

On second thought, maybe I'll just go visit those apartment friends I've been neglecting.. the ones that have AC and unlimited utilities...

Orbitz is owned by Cendant, not the airlines. It was bought out recently. If you RTFT (read the fucking terms), you'll see it refers to DEEP LINKING. You can still link to http://www.orbitz.com, but what you cannot due is link to a set of search results within the engine. This is not possible anyways, because the results from a search within Orbitz are linked to your 'session ID'. This session expires after 15 minutes of inactivity. So if you gave someone the URL, all that they would get would be a search box, anyways. This is mainly to prevent robots from crawling the site (and disregarding the robots.txt file). So it's really irrelevant. Orbitz can form special sticky URLs that link to a search result's CURRENT cache if they want, and they send these out in spam^H^H^H^Hmarketing e-mails.