vindvaki

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 think I understand your point, but I don't agree with some of your examples.

"I can't think of a mathematician who would base a proof on the idea that a number is probably prime."

I can assure you that such a proof probably exists :) Just look at https://en.wikipedia.org/wiki/Probable_prime

Probability theory can be an extremely powerful tool when researching things that are otherwise difficult to reason about. And the theorem statement does not have to be probabilistic for the probabilistic method to be applicable. Just see http://en.wikipedia.org/wiki/Probabilistic_method http://en.wikipedia.org/wiki/Probabilistic_proofs_of_non-pro...

As for the following:

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

I personally really like the Python documentation at

http://docs.python.org/

Another example of documentation that has served me well is the numpy+scipy+matplotlib combo:

http://docs.scipy.org/doc/

http://matplotlib.sourceforge.net/contents.html

Looks like micro templating; see http://ejohn.org/blog/javascript-micro-templating/

You don't need Cygwin to "install" CoffeeScript. You can even run it in your browser:

http://jashkenas.github.com/coffee-script/#installation

And Node.js can also be run natively:

https://github.com/joyent/node/wiki/Building-node.js-on-ming...

Funny coincidence: Just an hour ago, I installed both Node.js and CoffeeScript on Windows using mingw:

https://github.com/joyent/node/wiki/Building-node.js-on-ming...

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.