capability = best-of-kreliability ≃ worst-of-ksecurity ≙ -(worst-of-k)safety ≘ -(best-of-k)
What are those weird equality symbols?
using unicode slop as a metaphor, 2243 asymptomatically equal, 2259 estimates, 2258 corresponds to
capability = best-of-k
reliability ≃ worst-of-k
security ≙ -(worst-of-k)
safety ≘ -(best-of-k)
What are those weird equality symbols?
using unicode slop as a metaphor, 2243 asymptomatically equal, 2259 estimates, 2258 corresponds to