Lance Fortnow: Navier-Stokes and Leanblog.computationalcomplexity.org3 points·digital55··0 commentsOpen articleSaveView on HN