>>7,9 This is not fucking usenet. The discussion as a whole is available to you through >>-1001, and if you believe I have misattributed the quotation, sue me.
I will answer as to why FFTW is not a serious project. It's a bunch of math algorithms disguised as C functions when they really are assembly hacks. Someone mentioned coq; now that's a serious project.