backend ok
Story history
Score and comment observations over time
Palomar: A registry of Lean verified mathematics
HN #49,355,968 | submitted 2026-08-19 02:41 UTC | terrytao.wordpress.com
82 observationsby matt_d
97 points
Latest score
17 comments
Latest comments
+96
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 97
2026-08-19 02:46 UTC2026-08-19 09:09 UTC
Comments
Range 0 to 17
2026-08-19 02:46 UTC2026-08-19 09:09 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-08-19 02:46 UTCLatest 2026-08-19 09:09 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-08-19 09:09 UTC | 97 | 17 | not tracked |
| 2026-08-19 09:04 UTC | 96 | 17 | not tracked |
| 2026-08-19 09:00 UTC | 96 | 17 | not tracked |
| 2026-08-19 08:55 UTC | 96 | 17 | not tracked |
| 2026-08-19 08:51 UTC | 94 | 17 | not tracked |
| 2026-08-19 08:46 UTC | 94 | 17 | not tracked |
| 2026-08-19 08:41 UTC | 93 | 17 | not tracked |
| 2026-08-19 08:37 UTC | 93 | 17 | not tracked |
| 2026-08-19 08:32 UTC | 92 | 17 | not tracked |
| 2026-08-19 08:28 UTC | 92 | 17 | not tracked |
| 2026-08-19 08:23 UTC | 91 | 17 | not tracked |
| 2026-08-19 08:19 UTC | 90 | 17 | not tracked |
| 2026-08-19 08:14 UTC | 90 | 17 | not tracked |
| 2026-08-19 08:09 UTC | 87 | 16 | not tracked |
| 2026-08-19 08:05 UTC | 86 | 16 | not tracked |
| 2026-08-19 08:00 UTC | 86 | 16 | not tracked |
| 2026-08-19 07:55 UTC | 85 | 16 | not tracked |
| 2026-08-19 07:51 UTC | 83 | 16 | not tracked |
| 2026-08-19 07:44 UTC | 80 | 16 | not tracked |
| 2026-08-19 07:39 UTC | 78 | 16 | not tracked |
| 2026-08-19 07:35 UTC | 77 | 16 | not tracked |
| 2026-08-19 07:30 UTC | 75 | 16 | not tracked |
| 2026-08-19 07:25 UTC | 74 | 16 | not tracked |
| 2026-08-19 07:21 UTC | 74 | 16 | not tracked |
| 2026-08-19 07:16 UTC | 73 | 15 | not tracked |
| 2026-08-19 07:12 UTC | 73 | 15 | not tracked |
| 2026-08-19 07:07 UTC | 73 | 14 | not tracked |
| 2026-08-19 07:02 UTC | 70 | 13 | not tracked |
| 2026-08-19 06:57 UTC | 67 | 13 | not tracked |
| 2026-08-19 06:53 UTC | 65 | 12 | not tracked |
| 2026-08-19 06:48 UTC | 64 | 11 | not tracked |
| 2026-08-19 06:41 UTC | 63 | 11 | not tracked |
| 2026-08-19 06:37 UTC | 63 | 11 | not tracked |
| 2026-08-19 06:32 UTC | 60 | 11 | not tracked |
| 2026-08-19 06:28 UTC | 59 | 11 | not tracked |
| 2026-08-19 06:23 UTC | 59 | 10 | not tracked |
| 2026-08-19 06:18 UTC | 59 | 9 | not tracked |
| 2026-08-19 06:14 UTC | 58 | 8 | not tracked |
| 2026-08-19 06:09 UTC | 58 | 8 | not tracked |
| 2026-08-19 06:05 UTC | 58 | 7 | not tracked |
| 2026-08-19 06:00 UTC | 57 | 7 | not tracked |
| 2026-08-19 05:55 UTC | 56 | 6 | not tracked |
| 2026-08-19 05:51 UTC | 54 | 6 | not tracked |
| 2026-08-19 05:46 UTC | 54 | 6 | not tracked |
| 2026-08-19 05:38 UTC | 53 | 6 | not tracked |
| 2026-08-19 05:34 UTC | 50 | 6 | not tracked |
| 2026-08-19 05:29 UTC | 49 | 5 | not tracked |
| 2026-08-19 05:25 UTC | 47 | 5 | not tracked |
| 2026-08-19 05:20 UTC | 47 | 4 | not tracked |
| 2026-08-19 05:15 UTC | 47 | 4 | not tracked |
| 2026-08-19 05:11 UTC | 44 | 4 | not tracked |
| 2026-08-19 05:06 UTC | 42 | 4 | not tracked |
| 2026-08-19 05:01 UTC | 40 | 4 | not tracked |
| 2026-08-19 04:57 UTC | 38 | 4 | not tracked |
| 2026-08-19 04:52 UTC | 34 | 3 | not tracked |
| 2026-08-19 04:48 UTC | 33 | 3 | not tracked |
| 2026-08-19 04:43 UTC | 30 | 3 | not tracked |
| 2026-08-19 04:37 UTC | 29 | 3 | not tracked |
| 2026-08-19 04:32 UTC | 28 | 3 | not tracked |
| 2026-08-19 04:27 UTC | 27 | 3 | not tracked |
| 2026-08-19 04:23 UTC | 26 | 1 | not tracked |
| 2026-08-19 04:18 UTC | 24 | 1 | not tracked |
| 2026-08-19 04:14 UTC | 22 | 1 | not tracked |
| 2026-08-19 04:09 UTC | 20 | 0 | not tracked |
| 2026-08-19 04:04 UTC | 19 | 0 | not tracked |
| 2026-08-19 04:00 UTC | 16 | 0 | not tracked |
| 2026-08-19 03:55 UTC | 13 | 0 | not tracked |
| 2026-08-19 03:51 UTC | 11 | 0 | not tracked |
| 2026-08-19 03:46 UTC | 7 | 0 | not tracked |
| 2026-08-19 03:41 UTC | 7 | 0 | not tracked |
| 2026-08-19 03:37 UTC | 5 | 0 | not tracked |
| 2026-08-19 03:32 UTC | 4 | 0 | not tracked |
| 2026-08-19 03:27 UTC | 3 | 0 | not tracked |
| 2026-08-19 03:23 UTC | 2 | 0 | not tracked |
| 2026-08-19 03:18 UTC | 2 | 0 | not tracked |
| 2026-08-19 03:14 UTC | 2 | 0 | not tracked |
| 2026-08-19 03:09 UTC | 2 | 0 | not tracked |
| 2026-08-19 03:05 UTC | 2 | 0 | not tracked |
| 2026-08-19 03:00 UTC | 2 | 0 | not tracked |
| 2026-08-19 02:55 UTC | 1 | 0 | not tracked |
| 2026-08-19 02:51 UTC | 1 | 0 | not tracked |
| 2026-08-19 02:46 UTC | 1 | 0 | not tracked |