backend ok
Story history
Score and comment observations over time
You Don't Know Jack About Formal Verification
HN #48,810,122 | submitted 2026-07-06 20:31 UTC | queue.acm.org
78 observationsby aravindputrevu
3 points
Latest score
2 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 2 to 3
2026-07-06 20:34 UTC2026-07-07 02:49 UTC
Comments
Range 0 to 2
2026-07-06 20:34 UTC2026-07-07 02:49 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-06 20:34 UTCLatest 2026-07-07 02:49 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-07 02:49 UTC | 3 | 2 | not tracked |
| 2026-07-07 02:44 UTC | 3 | 2 | not tracked |
| 2026-07-07 02:39 UTC | 3 | 2 | not tracked |
| 2026-07-07 02:35 UTC | 3 | 2 | not tracked |
| 2026-07-07 02:30 UTC | 3 | 2 | not tracked |
| 2026-07-07 02:25 UTC | 3 | 2 | not tracked |
| 2026-07-07 02:20 UTC | 3 | 2 | not tracked |
| 2026-07-07 02:15 UTC | 3 | 2 | not tracked |
| 2026-07-07 02:10 UTC | 3 | 2 | not tracked |
| 2026-07-07 02:06 UTC | 3 | 2 | not tracked |
| 2026-07-07 02:00 UTC | 3 | 2 | not tracked |
| 2026-07-07 01:56 UTC | 3 | 2 | not tracked |
| 2026-07-07 01:51 UTC | 3 | 2 | not tracked |
| 2026-07-07 01:46 UTC | 3 | 2 | not tracked |
| 2026-07-07 01:41 UTC | 3 | 2 | not tracked |
| 2026-07-07 01:36 UTC | 3 | 2 | not tracked |
| 2026-07-07 01:32 UTC | 3 | 2 | not tracked |
| 2026-07-07 01:27 UTC | 3 | 2 | not tracked |
| 2026-07-07 01:22 UTC | 3 | 2 | not tracked |
| 2026-07-07 01:17 UTC | 3 | 2 | not tracked |
| 2026-07-07 01:12 UTC | 3 | 2 | not tracked |
| 2026-07-07 01:08 UTC | 3 | 2 | not tracked |
| 2026-07-07 01:03 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:58 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:53 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:47 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:43 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:38 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:33 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:28 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:24 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:19 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:14 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:09 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:04 UTC | 3 | 2 | not tracked |
| 2026-07-07 00:00 UTC | 3 | 2 | not tracked |
| 2026-07-06 23:55 UTC | 3 | 2 | not tracked |
| 2026-07-06 23:50 UTC | 3 | 2 | not tracked |
| 2026-07-06 23:45 UTC | 3 | 2 | not tracked |
| 2026-07-06 23:40 UTC | 3 | 2 | not tracked |
| 2026-07-06 23:35 UTC | 3 | 2 | not tracked |
| 2026-07-06 23:30 UTC | 3 | 2 | not tracked |
| 2026-07-06 23:26 UTC | 3 | 2 | not tracked |
| 2026-07-06 23:21 UTC | 3 | 2 | not tracked |
| 2026-07-06 23:16 UTC | 3 | 2 | not tracked |
| 2026-07-06 23:11 UTC | 3 | 2 | not tracked |
| 2026-07-06 23:06 UTC | 3 | 2 | not tracked |
| 2026-07-06 23:02 UTC | 3 | 2 | not tracked |
| 2026-07-06 22:57 UTC | 3 | 2 | not tracked |
| 2026-07-06 22:52 UTC | 3 | 2 | not tracked |
| 2026-07-06 22:47 UTC | 3 | 2 | not tracked |
| 2026-07-06 22:40 UTC | 3 | 2 | not tracked |
| 2026-07-06 22:35 UTC | 3 | 2 | not tracked |
| 2026-07-06 22:31 UTC | 3 | 2 | not tracked |
| 2026-07-06 22:26 UTC | 3 | 2 | not tracked |
| 2026-07-06 22:22 UTC | 3 | 2 | not tracked |
| 2026-07-06 22:17 UTC | 3 | 2 | not tracked |
| 2026-07-06 22:12 UTC | 3 | 2 | not tracked |
| 2026-07-06 22:08 UTC | 3 | 2 | not tracked |
| 2026-07-06 22:03 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:58 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:54 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:49 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:44 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:37 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:33 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:28 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:23 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:19 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:14 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:10 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:05 UTC | 3 | 2 | not tracked |
| 2026-07-06 21:00 UTC | 3 | 1 | not tracked |
| 2026-07-06 20:56 UTC | 3 | 1 | not tracked |
| 2026-07-06 20:51 UTC | 3 | 1 | not tracked |
| 2026-07-06 20:46 UTC | 3 | 1 | not tracked |
| 2026-07-06 20:42 UTC | 2 | 0 | not tracked |
| 2026-07-06 20:34 UTC | 2 | 0 | not tracked |