backend ok
Story history
Score and comment observations over time
Contributing to the Lean Mathlib Library – Tanner Duve
HN #49,278,784 | submitted 2026-08-12 21:25 UTC | youtube.com
89 observationsby abaradwaj
1 points
Latest score
1 comments
Latest comments
0
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 1
2026-08-12 21:32 UTC2026-08-13 04:26 UTC
Comments
Range 1 to 1
2026-08-12 21:32 UTC2026-08-13 04:26 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-08-12 21:32 UTCLatest 2026-08-13 04:26 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-08-13 04:26 UTC | 1 | 1 | not tracked |
| 2026-08-13 04:22 UTC | 1 | 1 | not tracked |
| 2026-08-13 04:17 UTC | 1 | 1 | not tracked |
| 2026-08-13 04:13 UTC | 1 | 1 | not tracked |
| 2026-08-13 04:08 UTC | 1 | 1 | not tracked |
| 2026-08-13 04:03 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:59 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:54 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:50 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:45 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:40 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:36 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:31 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:26 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:22 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:17 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:13 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:08 UTC | 1 | 1 | not tracked |
| 2026-08-13 03:03 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:59 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:54 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:50 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:45 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:38 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:33 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:29 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:24 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:19 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:15 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:10 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:06 UTC | 1 | 1 | not tracked |
| 2026-08-13 02:01 UTC | 1 | 1 | not tracked |
| 2026-08-13 01:56 UTC | 1 | 1 | not tracked |
| 2026-08-13 01:51 UTC | 1 | 1 | not tracked |
| 2026-08-13 01:47 UTC | 1 | 1 | not tracked |
| 2026-08-13 01:42 UTC | 1 | 1 | not tracked |
| 2026-08-13 01:35 UTC | 1 | 1 | not tracked |
| 2026-08-13 01:31 UTC | 1 | 1 | not tracked |
| 2026-08-13 01:26 UTC | 1 | 1 | not tracked |
| 2026-08-13 01:22 UTC | 1 | 1 | not tracked |
| 2026-08-13 01:17 UTC | 1 | 1 | not tracked |
| 2026-08-13 01:12 UTC | 1 | 1 | not tracked |
| 2026-08-13 01:08 UTC | 1 | 1 | not tracked |
| 2026-08-13 01:03 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:59 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:54 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:49 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:45 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:40 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:36 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:31 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:26 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:22 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:17 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:13 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:08 UTC | 1 | 1 | not tracked |
| 2026-08-13 00:04 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:59 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:54 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:50 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:45 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:41 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:36 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:29 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:24 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:20 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:15 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:10 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:06 UTC | 1 | 1 | not tracked |
| 2026-08-12 23:01 UTC | 1 | 1 | not tracked |
| 2026-08-12 22:56 UTC | 1 | 1 | not tracked |
| 2026-08-12 22:52 UTC | 1 | 1 | not tracked |
| 2026-08-12 22:47 UTC | 1 | 1 | not tracked |
| 2026-08-12 22:43 UTC | 1 | 1 | not tracked |
| 2026-08-12 22:38 UTC | 1 | 1 | not tracked |
| 2026-08-12 22:33 UTC | 1 | 1 | not tracked |
| 2026-08-12 22:27 UTC | 1 | 1 | not tracked |
| 2026-08-12 22:22 UTC | 1 | 1 | not tracked |
| 2026-08-12 22:18 UTC | 1 | 1 | not tracked |
| 2026-08-12 22:13 UTC | 1 | 1 | not tracked |
| 2026-08-12 22:08 UTC | 1 | 1 | not tracked |
| 2026-08-12 22:04 UTC | 1 | 1 | not tracked |
| 2026-08-12 21:59 UTC | 1 | 1 | not tracked |
| 2026-08-12 21:55 UTC | 1 | 1 | not tracked |
| 2026-08-12 21:50 UTC | 1 | 1 | not tracked |
| 2026-08-12 21:45 UTC | 1 | 1 | not tracked |
| 2026-08-12 21:41 UTC | 1 | 1 | not tracked |
| 2026-08-12 21:36 UTC | 1 | 1 | not tracked |
| 2026-08-12 21:32 UTC | 1 | 1 | not tracked |