I'm pretty sure that the soundtrack is compressed using some conventional audio compression scheme. Usually, the audio and video are kind of separate streams, which are synchronized by the player using information provided by the container. For example, Matroska video files (*.mkv) are codec independent ( see http://en.wikipedia.org/wiki/Matroska ).
"I can't think of an airline passenger who would be totally fine with the flight computer usually being pretty good."
Actually, I would think it's pretty much the opposite. That is, the only type of airline passenger I can think of, is one who is fine with the flight computer (and the airplane in general) usually being pretty reliable. We already know that computers can malfunction and airplanes can crash. Now, of course, how reliable you want the airplane to be is up to you, but if you want it to be flawless, then you should never board an airplane.
It's not just the examples that are flawed. In most practical situations, provably correct answers do not exist. In most cases, one can only choose a level of certainty. Sometimes not even the level of certainty is possible to know.
Also, no airline passenger cares exactly what trajectory they take through the air to reach their destination. If it's easier to program an autopilot which tacks slightly off course, nobody will care.
To use CoffeeScript with the mingw-built Node.js, just add "path-to-coffe-script/bin" to your mingw-bash $PATH (or the global path, but node.exe only works in mingw) and change
#!/bin/env node
to
#!your-nodejs-folder/node.exe
in "bin/coffee"
edit: Or just add the directory with "node.exe" to your path.
