No he doesn't.
The spectral-norm Lisp SBCL #2 program is Lorenzo Bolla's program - look at the program source code
http://shootout.alioth.debian.org/u32/program.php?test=spect...
>>he does in fact get different timing with the optimization in place<<
He get's different timing but the only explanation he provides is "So, different numbers on different boxes, which is not at all unexpected."
No he doesn't.
The spectral-norm Lisp SBCL #2 program is Lorenzo Bolla's program - look at the program source code
http://shootout.alioth.debian.org/u32/program.php?test=spect...
>>he does in fact get different timing with the optimization in place<<
He get's different timing but the only explanation he provides is "So, different numbers on different boxes, which is not at all unexpected."