Interesting processor: massive parallelism, ideas from Transputers. From comp.os.plan9

German/Austrian dictionary.

Matlab/Octave code for interfacing with Google earth.

Some interesting extensions for GNU Emacs. Has some nice demos.

Tutorial for Matlab.

English, Medical, Legal, Financial, and Computer Dictionaries, Thesaurus, Acronyms, Idioms,

Another GPS logging device. Appears to require Windows.

Abstract: This paper shows how linear algebra can be done better without determinants. The standard proof that a square matrix of complex numbers has an eigenvalue uses determinants. The simpler and clearer proof presented here provides more insight and avoids determinants. Without using determinants, this allows us to define the multiplicity of an eigenvalue and to prove that the number of eigenvalues, counting multiplicities, equals the dimension of the underlying space. Without using determinants, we can define the characteristic and minimal polynomials and then prove that they behave as expected. This leads to an easy proof that every matrix is similar to a nice upper-triangular one. Turning to inner product spaces, and still without mentioning determinants, this paper gives a simple proof of the finite-dimensional spectral theorem.

This paper was published in the American Mathematical Monthly 102 (1995), 139-154.
In 1996 this paper received the Lester R. Ford Award for expository writing from the Mathematical Association of America.

Quotes about software and programming.

Just what it says.