backend ok
Story history
Score and comment observations over time
Lean 4.35.0 (2026-10-12)
HN #50,074,233 | submitted 2026-10-13 16:21 UTC | lean-lang.org
37 observationsby ngrislain
2 points
Latest score
0 comments
Latest comments
+1
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 2
2026-10-13 16:28 UTC2026-10-13 19:23 UTC
Comments
Range 0 to 0
2026-10-13 16:28 UTC2026-10-13 19:23 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-10-13 16:28 UTCLatest 2026-10-13 19:23 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-10-13 19:23 UTC | 2 | 0 | not tracked |
| 2026-10-13 19:18 UTC | 2 | 0 | not tracked |
| 2026-10-13 19:11 UTC | 2 | 0 | not tracked |
| 2026-10-13 19:07 UTC | 2 | 0 | not tracked |
| 2026-10-13 19:02 UTC | 2 | 0 | not tracked |
| 2026-10-13 18:57 UTC | 2 | 0 | not tracked |
| 2026-10-13 18:53 UTC | 1 | 0 | not tracked |
| 2026-10-13 18:48 UTC | 1 | 0 | not tracked |
| 2026-10-13 18:43 UTC | 1 | 0 | not tracked |
| 2026-10-13 18:39 UTC | 1 | 0 | not tracked |
| 2026-10-13 18:34 UTC | 1 | 0 | not tracked |
| 2026-10-13 18:29 UTC | 1 | 0 | not tracked |
| 2026-10-13 18:25 UTC | 1 | 0 | not tracked |
| 2026-10-13 18:20 UTC | 1 | 0 | not tracked |
| 2026-10-13 18:15 UTC | 1 | 0 | not tracked |
| 2026-10-13 18:08 UTC | 1 | 0 | not tracked |
| 2026-10-13 18:04 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:59 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:54 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:50 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:45 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:40 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:36 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:31 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:26 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:22 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:17 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:12 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:06 UTC | 1 | 0 | not tracked |
| 2026-10-13 17:01 UTC | 1 | 0 | not tracked |
| 2026-10-13 16:56 UTC | 1 | 0 | not tracked |
| 2026-10-13 16:51 UTC | 1 | 0 | not tracked |
| 2026-10-13 16:47 UTC | 1 | 0 | not tracked |
| 2026-10-13 16:42 UTC | 1 | 0 | not tracked |
| 2026-10-13 16:37 UTC | 1 | 0 | not tracked |
| 2026-10-13 16:33 UTC | 1 | 0 | not tracked |
| 2026-10-13 16:28 UTC | 1 | 0 | not tracked |