noam comments on Untangling Infrabayesianism: A redistillation [PDF link; ~12k words + lots of math]

[noam]

Found a typo:

Definition 2.2. Let $X$ be a metric space. We say that a functional $f:X\to R$ is k-Lipschitz
continuous if there exists $k\ge 0\in R$ such that for all $x,y\in X,d_X\left(f\right(x),f(y\left)\right)\le k\cdot |x-y|$. In
such a case k is called the Lipschitz constant of f.

I think it should be: $|f\left(x\right)-f\left(y\right)|\le k\cdot d_X(x,y)$ instead, as $f\left(x\right),f\left(y\right)\in R$ while $x,y\in X$.

[Lorxus]

This seems correct. I’ll add it to the list of fixes.