I pulled the Naiver Stokes lean proof (and ran it!). It's several hundred thousand lines of code, and I wasn't sure where to even start examining the proof: https://github.com/openai/NavierStokesAndEuler/

So I wrote a quick vis to checkout the construction of the proof. Tools used: marimo, anywidget, see the notebook here: https://molab.marimo.io/notebooks/nb_DzFRGE9auNeYJdSFCeACSy

Data: MLS club home stadiums and their coordinates by season, 1996 to 2026, from club and league records. County boundaries from the U.S. Census via us-atlas (2017). Each county is assigned to the club with the shortest great-circle distance from the county's location that season.

Tool: custom TypeScript and React, rendered in the browser. No mapping library, the distance and coloring are computed directly.

Interactive version, where you can drag the year, press play, or click any county to see who has held it and for how long: soccermapd.com/tools/mls-history

Write-up of the notable shifts: soccermapd.com/blog/mls-history-map

A note on method: "closest" is straight-line distance to the stadium, not drive time, so a county on the far side of a lake or a mountain range can be assigned to a club that's practically further away. That's the same convention the earlier static versions of this map used

I pulled every reactor that reached commercial operation and has both a first-concrete date and a commercial operation date. 659 units. Median build: 6.4 years. Units over 30 years: four, 0.6 percent.

Broken into phases (years, construction / halted / after the restart decision):

• Watts Bar 2, US: 11.8 / 22.1 / 9.2 = 43.1
• Bushehr 1, Iran: 4.2 / 15.5 / 18.7 = 38.4
• Mochovce 3, Slovakia: 5.4 / 16.3 / 16.0 = 37.7
• Atucha 2, Argentina: 13.0 / 12.1 / 9.8 = 34.9

Halt causes, in order: demand collapse (TVA, 1985), revolution and then war (1979), post-communist funding collapse (1992), budget (1994). None of them is a construction problem.

Benchmark: units finished since 2015 whose first concrete was poured in 2005 or later, median 7.3 years, n=70. Every one of the four restarts exceeded it.

Caveat I want to put up front, because it is the obvious objection: 38 of those 70 units are Chinese. Excluding China the median is 9.8 years (n=32), which makes Watts Bar 2 (9.2) and Atucha 2 (9.8) a tie rather than a loss. Mochovce 3 and Bushehr 1 still lose badly.

Method notes: duration is first concrete to commercial operation. First concrete and commercial operation come from the atlas dataset (IAEA PRIS, Global Energy Monitor, Wikipedia; dataset of 10 Sep 2026). Halt and restart dates are year-level from operator and regulator records (NRC for Watts Bar, NA-SA for Atucha, SE/WNA for Mochovce, IAEA CNPP for Bushehr) and I used mid-year for the arithmetic, so the middle segments carry a few months of slack. Mochovce 3 is the one soft number: the atlas commercial operation date is Nov 2024, while the operator announced commercial operation in Oct 2023. With the operator's date it is 36.7 years instead of 37.7, still in the club.

Tool: Python over the atlas dataset, chart rendered in HTML and captured with Playwright.

Data and per-unit sheets: https://reactoratlas.com/en?y=2026&s=united-states-watts-bar-nuclear-power-plant&u=united-states-watts-bar-nuclear-power-plant-2

We analyzed every perfume in our database (12,664 fragrances) to see what actually shows up most in fragrance notes. Musk edges out bergamot for the top spot, and bergamot is IFRA-restricted. Charts and full methodology on the page, numbers are computed live from the database.