Today, Levent Alpöge and I have made public three results: finite-time blowup with smooth forcing for incompressible porous media, for Boussinesq, and for 3d incompressible Euler. https://cims.nyu.edu/~tristanb/statement.pdf https://cims.nyu.edu/~tristanb/euler.pdf https://cims.nyu.edu/~tristanb/ipm.pdf https://cims.nyu.edu/~tristanb/boussinesq.pdf https://github.com/tristanbuckmaster/fluid_lean
GitHub - openai/NavierStokesAndEuler at 8937a8f4cbc7abaab5e9e97d1cc7f5d2319d9538
Lean certificates accompanying Navier-Stokes and Euler results - openai/NavierStokesAndEuler
Shallow Water Equations - RDycore: A River / Flooding dynamical core for E3SM
The two-dimensional shallow water equations can be written in the conservative form
NIK on Twitter / X
>sam altman: "we tried this because there were rumor on the internet">rumor: math professor close to solving navier-stokes>the professor: using codex for a year>openai: has all his logs>checked every codex session tagged to N-S>found the most promising one>spun up 10,000… pic.twitter.com/RInlP88gmA— NIK (@ns123abc) September 8, 2026
Chomba Bupe on Twitter / X
It appears OpenAI Astra's mathematical feat was more of surface level stitching of components."The LLM-generated proof hinges on a particular mathematical argument that it presented as its own but that actually first appeared in a 2016 paper by Miller and a collaborator." pic.twitter.com/labUnQMRab— Chomba Bupe (@ChombaBupe) August 7, 2026
Surface-Stable Fractal Dithering Explained
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Cosmik Lab Notes 001: Semble Alpha - Cosmik Labs
Cosmik Lab Notes 001: Semble Alpha - Cosmik Labs
Tomb of Glowing Lava - How to Model Ultra Realistic Lava
Navier-Stokes Equation - Clay Mathematics Institute
This is the equation which governs the flow of fluids such as water and air. However, there is no proof for the most basic questions one can ask: do solutions exist, and are they unique? Why ask for a proof? Because a proof gives not only certitude, but also understanding.
The Viscous Frontier
open.substack.comThis one starts off a little slow but makes some really good points about the pressure to not work on the “middle part” (and how “infrastructure gravity” often means people do unnecessary innovation too low in the stack).
Aleksey Skorobogaty
Excellent article on positioning domain engineering between product engineering and infrastructure engineering. I fully agree with the financial model section. However, I prefer to call it ‘platform engineering: the hard parts,’ simply because in the middle, we face more volatile semantics.
Did a quick write up on the work I've been enjoying to make a PDS distributed. #atproto
The journey to a distributed PDS - Wills thoughts
willdot.leaflet.pubOkay, it’s here! pdscheck.dev is LIVE!!! Thanks to @bad-example.com and @pds.dad for all their work on debug.hose.cam, and thanks to Claude for doing most of the heavy lifting. License is CC0 with an MIT fallback, and source is at tangled.org/chaosgreml.in/pdscheck, PRs OH SO WELCOME!
pdscheck — atproto PDS diagnostic
pdscheck.devLandslide/Holdfast
Citations and background for my talk at Atmosphere Conf 2026
Sources on social media: Information context collapse and volume of content as predictors of source blindness - George Pearson, 2021
Pacific kelp forests are far older than we thought - Berkeley News
Illusion of knowledge through Facebook news? Effects of snack news in a news feed on perceived knowledge, attitude strength, and willingness for discussions
No Sense of Place by Joshua Meyrowitz | Open Library
A perspective on friction interventions to curb the spread of misinformation
The social media context interferes with truth discernment
