If you're responding to the parent post, as most of us are, the Lean proof is no... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

netsec_burn 18 days ago | parent | context | favorite | on: Navier–Stokes Lost in Translation

If you're responding to the parent post, as most of us are, the Lean proof is not irrelevant.

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact