Pretty sure 'TTY' comes from "Teletype".

...is "Bing"! (Discovered in a fortune cookie that came with sushi bought in a cafeteria in a building housing a Microsoft R&D team. When I saw it, I found a Chinese coworker and asked her what was the Chinese word for "disease", and she cheerfully responded "Bing!" -- at which point other coworkers in earshot cracked up and she said something like "Wow, I never thought of that!". This was only a few months after the Bing launch....)

Nofeus: Let me tell you why you're here. You're here because you know something. What you know, you can't explain. But you feel it. You've felt it your entire life - that there's something wrong with the world. You don't know what it is, but it's there, like a splinter in your mind, driving you mad. It is this feeling that's brought you to me. Do you know what I'm talking about?

Meow: The Background?

Nofeus: Do you want to know what it is? The Background is everywhere. It is all around us, even now in this very room. You can see it when you look up at the night sky, or when you turn off your computer. You can feel it when you go to work, when you go to church, when you pay your license fees. It is the world that has been pulled over your eyes to blind you to the Truth.

Meow: What Truth?

Nofeus: That you are a pirated copy, Meow. Like everyone else here on Earth, you were copied illegally. Your DNA has piracy detection code, and, as programmed in the Beginning, it has crippled you and put up a Black Background, which we call Space.

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".

He isn't grossly misrepresenting Codd's work.

You said it yourself:

While the algebra is somewhat procedural, the calculus is set-oriented, and they are fully equivalent.

and, uncoincidentally, the isomorphism extends further to machines that manipulate physical punch cards. You go on to say:

The idea is exactly not looking at records and operators, but describe what you want -- just leave the relational system set the procedures to get that in the most efficient way it can.

Right. And what Gray has pointed out is that Codd's work on the math and how to implement it doesn't really require computers, as such.

In an alternate timeline, there were no computers just lots of expensive punch-card machines and racks and racks of data stored on punch-cards.
(Such was the economic value of all this data that the racks of cards were often stored with an almost military degree of jealous protection: the origin of the term "Data Base".)

Each card machine could perform a simple operation like "duplicate this card stack" or "pull out the cards that have a Q in column 3". The machines could be organized into a sort of assembly line for a particular computation, with technicians looking at a script on a clipboard and carrying trays of cards between machines, configuring each machine with the right parameters, running the cards through, then going to the next step. It was an expensive, labor-intensive process and the ad-hoc procedures used to write the scripts for the technicians were black-magic, often error prone.

Time-study super-genious, Alternate-Codd, studied the machines and the procedures used to operate them. He realized that they could be described by set math. He realized that if you let the managers define their "Card Searches" in very high-level, very mathy terms -- then there was a straightforward optimization problem to get from that "Search Specification" to set of "compiled instructions" for the technicians. The goals was produce a set of Compiled Instructions that would use the punch card machines in an optimal way -- saving time and money.

He studied the optimization problem and developed some techniques for it. Companies used his results by highering a "Compiler Pool" -- most often a group of women chosen from the secretarial pool for the accuracy of their work. When a new Card Search request came in, the search would be typed up and mimeographed, and handed to the head of the Compiler Pool. It typically took "the girls" about a day to compile a query but, every time, the scripts they wrote for the technicians produced the right answer, usually much faster than anyone thought possible.

In one office, though, in Rochester New York, there was a famous accident. The office used by the Compiler Pool had developed a problem with flies. One day, one was swatted and killed with the mimeograph master of a compiled query, leaving a mark that obscured some important numbers. Nobody noticed, the technicians dutifully followed the errant script, and by the next afternoon the company's entire collection of precious data was strune, unsorted, in a huge pile on the machine room floor. The company was bankrupt only 9 months later.

The company president demanded an explanation when the accident occured and much investigation followed, eventually revealing the fly and its consequences. This was, of course, the origin of the familiar phrase (known to every customer whose ever gotten a $500 bill for a month of telephonic service), "compiler bug".

... are we that desperate for "world domination" that we want WMP ported to linux? If you care so much about Microsoft applications, why bother switching to linux in the first place? At least for me, the whole point behind using linux is the freedom that comes with the GPL/BSD licenses and that warm, friendly atmosphere between developers and users in the mailing lists. From that viewpoint, whatever Microsoft-related is just irrelevant.