backend ok
Story history
Score and comment observations over time
Lean Programming Language
HN #48,965,754 | submitted 2026-07-19 07:35 UTC | lean-lang.org
93 observationsby fagnerbrack
3 points
Latest score
0 comments
Latest comments
+2
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 3
2026-07-19 07:38 UTC2026-07-19 14:56 UTC
Comments
Range 0 to 0
2026-07-19 07:38 UTC2026-07-19 14:56 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-19 07:38 UTCLatest 2026-07-19 14:56 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-19 14:56 UTC | 3 | 0 | not tracked |
| 2026-07-19 14:52 UTC | 3 | 0 | not tracked |
| 2026-07-19 14:47 UTC | 3 | 0 | not tracked |
| 2026-07-19 14:42 UTC | 3 | 0 | not tracked |
| 2026-07-19 14:38 UTC | 3 | 0 | not tracked |
| 2026-07-19 14:33 UTC | 3 | 0 | not tracked |
| 2026-07-19 14:29 UTC | 3 | 0 | not tracked |
| 2026-07-19 14:24 UTC | 3 | 0 | not tracked |
| 2026-07-19 14:19 UTC | 3 | 0 | not tracked |
| 2026-07-19 14:15 UTC | 3 | 0 | not tracked |
| 2026-07-19 14:10 UTC | 3 | 0 | not tracked |
| 2026-07-19 14:06 UTC | 3 | 0 | not tracked |
| 2026-07-19 14:01 UTC | 3 | 0 | not tracked |
| 2026-07-19 13:54 UTC | 3 | 0 | not tracked |
| 2026-07-19 13:49 UTC | 3 | 0 | not tracked |
| 2026-07-19 13:45 UTC | 3 | 0 | not tracked |
| 2026-07-19 13:40 UTC | 3 | 0 | not tracked |
| 2026-07-19 13:35 UTC | 3 | 0 | not tracked |
| 2026-07-19 13:31 UTC | 3 | 0 | not tracked |
| 2026-07-19 13:26 UTC | 3 | 0 | not tracked |
| 2026-07-19 13:22 UTC | 3 | 0 | not tracked |
| 2026-07-19 13:17 UTC | 3 | 0 | not tracked |
| 2026-07-19 13:12 UTC | 3 | 0 | not tracked |
| 2026-07-19 13:08 UTC | 3 | 0 | not tracked |
| 2026-07-19 13:03 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:58 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:51 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:46 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:42 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:37 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:32 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:28 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:23 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:19 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:14 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:09 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:05 UTC | 3 | 0 | not tracked |
| 2026-07-19 12:00 UTC | 3 | 0 | not tracked |
| 2026-07-19 11:55 UTC | 3 | 0 | not tracked |
| 2026-07-19 11:48 UTC | 3 | 0 | not tracked |
| 2026-07-19 11:44 UTC | 3 | 0 | not tracked |
| 2026-07-19 11:39 UTC | 3 | 0 | not tracked |
| 2026-07-19 11:34 UTC | 3 | 0 | not tracked |
| 2026-07-19 11:30 UTC | 3 | 0 | not tracked |
| 2026-07-19 11:25 UTC | 3 | 0 | not tracked |
| 2026-07-19 11:21 UTC | 3 | 0 | not tracked |
| 2026-07-19 11:16 UTC | 3 | 0 | not tracked |
| 2026-07-19 11:11 UTC | 3 | 0 | not tracked |
| 2026-07-19 11:07 UTC | 3 | 0 | not tracked |
| 2026-07-19 11:02 UTC | 3 | 0 | not tracked |
| 2026-07-19 10:58 UTC | 3 | 0 | not tracked |
| 2026-07-19 10:53 UTC | 3 | 0 | not tracked |
| 2026-07-19 10:45 UTC | 3 | 0 | not tracked |
| 2026-07-19 10:41 UTC | 3 | 0 | not tracked |
| 2026-07-19 10:36 UTC | 3 | 0 | not tracked |
| 2026-07-19 10:32 UTC | 3 | 0 | not tracked |
| 2026-07-19 10:27 UTC | 2 | 0 | not tracked |
| 2026-07-19 10:22 UTC | 2 | 0 | not tracked |
| 2026-07-19 10:18 UTC | 2 | 0 | not tracked |
| 2026-07-19 10:13 UTC | 2 | 0 | not tracked |
| 2026-07-19 10:08 UTC | 2 | 0 | not tracked |
| 2026-07-19 10:04 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:59 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:55 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:50 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:44 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:40 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:35 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:30 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:26 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:21 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:16 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:12 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:07 UTC | 2 | 0 | not tracked |
| 2026-07-19 09:03 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:58 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:53 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:49 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:44 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:39 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:35 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:30 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:26 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:21 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:16 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:12 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:07 UTC | 2 | 0 | not tracked |
| 2026-07-19 08:03 UTC | 2 | 0 | not tracked |
| 2026-07-19 07:58 UTC | 2 | 0 | not tracked |
| 2026-07-19 07:53 UTC | 2 | 0 | not tracked |
| 2026-07-19 07:49 UTC | 1 | 0 | not tracked |
| 2026-07-19 07:44 UTC | 1 | 0 | not tracked |
| 2026-07-19 07:38 UTC | 1 | 0 | not tracked |