Mar 05, 2020

OT: I don't know if this level of rigor is employed by any major libraries. I know AWS has used it a great deal for their systems though notably recently[1]

[1] https://assets.amazon.science/c4/11/de2606884b63bf4d95190a3c...