backend ok
Story history
Score and comment observations over time
Kani: A Model Checker for Rust
HN #48,806,410 | submitted 2026-07-06 15:53 UTC | arxiv.org
46 observationsby Jimmc414
81 points
Latest score
2 comments
Latest comments
+79
Score change
Rank history is not tracked yet in the current dataset, so this first slice focuses on score and comment movement.
Score
Range 2 to 81
2026-07-06 15:57 UTC2026-07-06 19:31 UTC
Comments
Range 0 to 3
2026-07-06 15:57 UTC2026-07-06 19:31 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-06 15:57 UTCLatest 2026-07-06 19:31 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-06 19:31 UTC | 81 | 2 | not tracked |
| 2026-07-06 19:26 UTC | 79 | 2 | not tracked |
| 2026-07-06 19:21 UTC | 78 | 3 | not tracked |
| 2026-07-06 19:17 UTC | 77 | 2 | not tracked |
| 2026-07-06 19:12 UTC | 75 | 2 | not tracked |
| 2026-07-06 19:07 UTC | 72 | 2 | not tracked |
| 2026-07-06 19:03 UTC | 69 | 2 | not tracked |
| 2026-07-06 18:58 UTC | 67 | 2 | not tracked |
| 2026-07-06 18:53 UTC | 63 | 2 | not tracked |
| 2026-07-06 18:49 UTC | 60 | 2 | not tracked |
| 2026-07-06 18:44 UTC | 59 | 2 | not tracked |
| 2026-07-06 18:39 UTC | 59 | 2 | not tracked |
| 2026-07-06 18:35 UTC | 57 | 2 | not tracked |
| 2026-07-06 18:28 UTC | 54 | 1 | not tracked |
| 2026-07-06 18:24 UTC | 49 | 1 | not tracked |
| 2026-07-06 18:19 UTC | 48 | 1 | not tracked |
| 2026-07-06 18:14 UTC | 43 | 1 | not tracked |
| 2026-07-06 18:10 UTC | 41 | 1 | not tracked |
| 2026-07-06 18:05 UTC | 38 | 1 | not tracked |
| 2026-07-06 18:00 UTC | 37 | 1 | not tracked |
| 2026-07-06 17:55 UTC | 36 | 1 | not tracked |
| 2026-07-06 17:51 UTC | 29 | 1 | not tracked |
| 2026-07-06 17:46 UTC | 27 | 1 | not tracked |
| 2026-07-06 17:42 UTC | 23 | 0 | not tracked |
| 2026-07-06 17:37 UTC | 18 | 0 | not tracked |
| 2026-07-06 17:32 UTC | 13 | 0 | not tracked |
| 2026-07-06 17:26 UTC | 6 | 0 | not tracked |
| 2026-07-06 17:21 UTC | 4 | 0 | not tracked |
| 2026-07-06 17:17 UTC | 3 | 0 | not tracked |
| 2026-07-06 17:12 UTC | 2 | 0 | not tracked |
| 2026-07-06 17:07 UTC | 2 | 0 | not tracked |
| 2026-07-06 17:02 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:58 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:53 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:48 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:44 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:39 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:34 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:30 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:25 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:20 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:15 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:11 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:06 UTC | 2 | 0 | not tracked |
| 2026-07-06 16:01 UTC | 2 | 0 | not tracked |
| 2026-07-06 15:57 UTC | 2 | 0 | not tracked |