https://news.ycombinator.com/item?id=49617391

Did you comment on the wrong thread? The original one makes more sense :)

/meta Their comment got involuntarily migrated; it was originally a reply to a toplevel comment in the Navier-Stokes thread (before the dedicated Tao thread existed),

https://news.ycombinator.com/item?id=49613262#49617249