navierstokes
for formal methods researchers, verification engineers
Why this scored 0
every term, weightedIts fastest-moving item, measured against the pace of its own source
Whether that velocity is itself speeding up, as a per-hour rate
How many independent communities its own items come from
Decays to zero over 14 days, counted from when we first saw it
Subtracted once something is big and old — sized by its biggest item, aged from when we first saw it
Weights are hand-tuned, not learned — we're calibrating them against realized trends as history accumulates. On an entity's first sighting there's no previous reading to compare against, so acceleration starts from a neutral prior rather than a measurement, and velocity falls back to engagement over its whole lifetime until a second reading exists. Full methodology
Signal history
7-day window (free)The evidence
The live items this entity's score aggregates — every community independently talking about it right now. This is the corroboration, shown, not claimed.
- 116
Navier-Stokes Announcement
New Navier-Stokes announcement may affect simulation accuracy and performance for developers. · for simulation engineers
hackernewsSteadyscience26d ago - 210
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
Lean verification of AI autoformalisation may still yield incorrect natural language proofs. · for formal methods researchers, verification engineers
lobstersCoolingdevtools56m ago