Two subjects I’m fairly interested in, metaprogramming and the Fast Fourier Transform, are combined in this paper from lambda the ultimate. Basically once they had identified a number of axioms, their system generated two different and well known versions of the code, one of which was identical to the number of FP operations in FFTW, a particularly good FFT implementation I’ve used before.

Basically just good geek stuff.