backend ok
Story history
Score and comment observations over time
Why Rocq is better than Lean for program verification
HN #49,090,006 | submitted 2026-07-28 21:16 UTC | joomy.korkutblech.com
76 observationsby joomy
5 points
Latest score
1 comments
Latest comments
+4
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 5
2026-07-28 21:22 UTC2026-07-29 03:08 UTC
Comments
Range 1 to 1
2026-07-28 21:22 UTC2026-07-29 03:08 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-28 21:22 UTCLatest 2026-07-29 03:08 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-29 03:08 UTC | 5 | 1 | not tracked |
| 2026-07-29 03:03 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:59 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:54 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:49 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:45 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:40 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:36 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:31 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:26 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:22 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:17 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:13 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:08 UTC | 5 | 1 | not tracked |
| 2026-07-29 02:04 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:59 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:54 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:49 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:44 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:39 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:35 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:30 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:26 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:21 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:16 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:12 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:07 UTC | 5 | 1 | not tracked |
| 2026-07-29 01:03 UTC | 5 | 1 | not tracked |
| 2026-07-29 00:58 UTC | 5 | 1 | not tracked |
| 2026-07-29 00:53 UTC | 5 | 1 | not tracked |
| 2026-07-29 00:49 UTC | 5 | 1 | not tracked |
| 2026-07-29 00:44 UTC | 5 | 1 | not tracked |
| 2026-07-29 00:40 UTC | 5 | 1 | not tracked |
| 2026-07-29 00:35 UTC | 5 | 1 | not tracked |
| 2026-07-29 00:30 UTC | 4 | 1 | not tracked |
| 2026-07-29 00:26 UTC | 4 | 1 | not tracked |
| 2026-07-29 00:21 UTC | 4 | 1 | not tracked |
| 2026-07-29 00:17 UTC | 4 | 1 | not tracked |
| 2026-07-29 00:12 UTC | 3 | 1 | not tracked |
| 2026-07-29 00:07 UTC | 3 | 1 | not tracked |
| 2026-07-29 00:03 UTC | 3 | 1 | not tracked |
| 2026-07-28 23:58 UTC | 3 | 1 | not tracked |
| 2026-07-28 23:54 UTC | 3 | 1 | not tracked |
| 2026-07-28 23:49 UTC | 3 | 1 | not tracked |
| 2026-07-28 23:45 UTC | 3 | 1 | not tracked |
| 2026-07-28 23:40 UTC | 2 | 1 | not tracked |
| 2026-07-28 23:35 UTC | 2 | 1 | not tracked |
| 2026-07-28 23:31 UTC | 2 | 1 | not tracked |
| 2026-07-28 23:26 UTC | 2 | 1 | not tracked |
| 2026-07-28 23:22 UTC | 2 | 1 | not tracked |
| 2026-07-28 23:17 UTC | 2 | 1 | not tracked |
| 2026-07-28 23:12 UTC | 2 | 1 | not tracked |
| 2026-07-28 23:08 UTC | 2 | 1 | not tracked |
| 2026-07-28 23:03 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:59 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:54 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:49 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:45 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:40 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:35 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:31 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:26 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:22 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:17 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:12 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:08 UTC | 2 | 1 | not tracked |
| 2026-07-28 22:03 UTC | 2 | 1 | not tracked |
| 2026-07-28 21:59 UTC | 2 | 1 | not tracked |
| 2026-07-28 21:54 UTC | 2 | 1 | not tracked |
| 2026-07-28 21:49 UTC | 2 | 1 | not tracked |
| 2026-07-28 21:45 UTC | 2 | 1 | not tracked |
| 2026-07-28 21:40 UTC | 2 | 1 | not tracked |
| 2026-07-28 21:36 UTC | 2 | 1 | not tracked |
| 2026-07-28 21:31 UTC | 2 | 1 | not tracked |
| 2026-07-28 21:26 UTC | 2 | 1 | not tracked |
| 2026-07-28 21:22 UTC | 1 | 1 | not tracked |