backend ok
Story history
Score and comment observations over time
Are We Stuck with Lean?
HN #49,108,678 | submitted 2026-07-30 11:45 UTC | mathoverflow.net
53 observationsby jjgreen
48 points
Latest score
16 comments
Latest comments
+47
Score change
Rank history is not tracked yet in the current dataset, so this first slice focuses on score and comment movement.
Score
Range 1 to 48
2026-07-30 11:48 UTC2026-07-30 15:49 UTC
Comments
Range 0 to 16
2026-07-30 11:48 UTC2026-07-30 15:49 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-30 11:48 UTCLatest 2026-07-30 15:49 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-30 15:49 UTC | 48 | 16 | not tracked |
| 2026-07-30 15:45 UTC | 45 | 15 | not tracked |
| 2026-07-30 15:40 UTC | 44 | 14 | not tracked |
| 2026-07-30 15:36 UTC | 44 | 14 | not tracked |
| 2026-07-30 15:31 UTC | 43 | 14 | not tracked |
| 2026-07-30 15:26 UTC | 40 | 14 | not tracked |
| 2026-07-30 15:22 UTC | 40 | 13 | not tracked |
| 2026-07-30 15:17 UTC | 37 | 11 | not tracked |
| 2026-07-30 15:13 UTC | 36 | 9 | not tracked |
| 2026-07-30 15:08 UTC | 32 | 9 | not tracked |
| 2026-07-30 15:03 UTC | 28 | 7 | not tracked |
| 2026-07-30 14:59 UTC | 26 | 6 | not tracked |
| 2026-07-30 14:54 UTC | 25 | 4 | not tracked |
| 2026-07-30 14:50 UTC | 25 | 4 | not tracked |
| 2026-07-30 14:43 UTC | 23 | 4 | not tracked |
| 2026-07-30 14:38 UTC | 21 | 3 | not tracked |
| 2026-07-30 14:34 UTC | 20 | 3 | not tracked |
| 2026-07-30 14:29 UTC | 20 | 3 | not tracked |
| 2026-07-30 14:24 UTC | 18 | 3 | not tracked |
| 2026-07-30 14:20 UTC | 16 | 2 | not tracked |
| 2026-07-30 14:15 UTC | 14 | 1 | not tracked |
| 2026-07-30 14:11 UTC | 13 | 1 | not tracked |
| 2026-07-30 14:06 UTC | 12 | 1 | not tracked |
| 2026-07-30 14:01 UTC | 8 | 1 | not tracked |
| 2026-07-30 13:57 UTC | 8 | 1 | not tracked |
| 2026-07-30 13:52 UTC | 7 | 1 | not tracked |
| 2026-07-30 13:47 UTC | 7 | 1 | not tracked |
| 2026-07-30 13:43 UTC | 7 | 0 | not tracked |
| 2026-07-30 13:38 UTC | 6 | 0 | not tracked |
| 2026-07-30 13:34 UTC | 5 | 0 | not tracked |
| 2026-07-30 13:29 UTC | 4 | 0 | not tracked |
| 2026-07-30 13:24 UTC | 3 | 0 | not tracked |
| 2026-07-30 13:20 UTC | 3 | 0 | not tracked |
| 2026-07-30 13:15 UTC | 3 | 0 | not tracked |
| 2026-07-30 13:11 UTC | 2 | 0 | not tracked |
| 2026-07-30 13:06 UTC | 2 | 0 | not tracked |
| 2026-07-30 13:01 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:57 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:52 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:47 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:43 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:38 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:34 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:29 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:24 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:20 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:15 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:11 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:06 UTC | 2 | 0 | not tracked |
| 2026-07-30 12:01 UTC | 2 | 0 | not tracked |
| 2026-07-30 11:57 UTC | 1 | 0 | not tracked |
| 2026-07-30 11:52 UTC | 1 | 0 | not tracked |
| 2026-07-30 11:48 UTC | 1 | 0 | not tracked |