backend ok
Story history
Score and comment observations over time
Lean – a proof assistant and a functional programming language
HN #48,980,091 | submitted 2026-07-20 15:18 UTC | lean-lang.org
42 observationsby gjvc
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-07-20 15:24 UTC2026-07-20 18:42 UTC
Comments
Range 0 to 0
2026-07-20 15:24 UTC2026-07-20 18:42 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-20 15:24 UTCLatest 2026-07-20 18:42 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-20 18:42 UTC | 2 | 0 | not tracked |
| 2026-07-20 18:38 UTC | 2 | 0 | not tracked |
| 2026-07-20 18:33 UTC | 2 | 0 | not tracked |
| 2026-07-20 18:28 UTC | 2 | 0 | not tracked |
| 2026-07-20 18:23 UTC | 2 | 0 | not tracked |
| 2026-07-20 18:19 UTC | 2 | 0 | not tracked |
| 2026-07-20 18:12 UTC | 2 | 0 | not tracked |
| 2026-07-20 18:07 UTC | 2 | 0 | not tracked |
| 2026-07-20 18:03 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:58 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:53 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:49 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:44 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:39 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:35 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:30 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:25 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:21 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:16 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:09 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:04 UTC | 2 | 0 | not tracked |
| 2026-07-20 17:00 UTC | 2 | 0 | not tracked |
| 2026-07-20 16:55 UTC | 2 | 0 | not tracked |
| 2026-07-20 16:50 UTC | 2 | 0 | not tracked |
| 2026-07-20 16:46 UTC | 2 | 0 | not tracked |
| 2026-07-20 16:41 UTC | 2 | 0 | not tracked |
| 2026-07-20 16:36 UTC | 2 | 0 | not tracked |
| 2026-07-20 16:32 UTC | 2 | 0 | not tracked |
| 2026-07-20 16:27 UTC | 2 | 0 | not tracked |
| 2026-07-20 16:23 UTC | 2 | 0 | not tracked |
| 2026-07-20 16:18 UTC | 2 | 0 | not tracked |
| 2026-07-20 16:13 UTC | 2 | 0 | not tracked |
| 2026-07-20 16:07 UTC | 2 | 0 | not tracked |
| 2026-07-20 16:02 UTC | 2 | 0 | not tracked |
| 2026-07-20 15:57 UTC | 2 | 0 | not tracked |
| 2026-07-20 15:52 UTC | 2 | 0 | not tracked |
| 2026-07-20 15:48 UTC | 2 | 0 | not tracked |
| 2026-07-20 15:43 UTC | 2 | 0 | not tracked |
| 2026-07-20 15:38 UTC | 2 | 0 | not tracked |
| 2026-07-20 15:34 UTC | 1 | 0 | not tracked |
| 2026-07-20 15:29 UTC | 1 | 0 | not tracked |
| 2026-07-20 15:24 UTC | 1 | 0 | not tracked |