A kernel run on the Navier-Stokes blowup Lean project
By ravanova · 2026-09-11 · 4 points · 0 comments
https://github.com/ravanova/blowup-search/blob/main/writeup/7_confirmation/BLOG_CONFIRMATION.md
By ravanova · 4 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews