John Carmack’s Unusual Fast Inverse Square Root (Quake III)

FYI. Carmack didn’t write it. Terje Mathisen and Gary Tarolli both take partial (and very modest) credit for it, as well as crediting some other sources. How the mythical constant was derived is something of a mystery. To quote Gary Tarolli: Which actually is doing a floating point computation in integer – it took a … Read more

Why are λ-calculus optimal evaluators able to compute big modular exponentiations without formulas?

The phenomenon comes from the amount of shared beta-reduction steps, which can be dramatically different in Haskell-style lazy evaluation (or usual call-by-value, which is not that far in this respect) and in Vuillemin-Lévy-Lamping-Kathail-Asperti-Guerrini-(et al…) “optimal” evaluation. This is a general feature, that is completely independent from the arithmetic formulas you could use in this particular … Read more