Hacker News new | past | comments | ask | show | jobs | submit login

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...




Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: