Tag
normalisation
- Aug 21, 2026 Similarity Metrics and the Normalisation They Require Why cosine, inner product, and Euclidean distance rank differently, what L2 normalisation changes about a vector index, and which failures come from mixing conventions. inference systems
- Nov 1, 2025 Averaging Ratios and the Geometric Mean in Composite Scores Why the arithmetic mean of normalised ratios depends on the reference machine, when the geometric mean is the right summary, and where the harmonic mean is forced by the arithmetic of rates. performance engineering
- Nov 21, 2024 Proof Terms: Reading a Derivation as a Program The correspondence between natural-deduction proofs and typed lambda terms, why normalisation is evaluation, and which logical principles correspond to which programming constructs. computation theory
- Jun 15, 2022 Confluence and the Church-Rosser Theorem for Beta Reduction Why the order of beta reductions cannot change the final answer, how the diamond property is proved by parallel reduction, and what the standardisation theorem adds. computation theory