backend ok
Story history
Score and comment observations over time
The Case Against Formal Verification, 50 Years Later
HN #49,323,459 | submitted 2026-08-16 20:38 UTC | ivan-gavran.github.io
96 observationsby ghuntley
84 points
Latest score
96 comments
Latest comments
+81
Score change
Rank history is not tracked yet in the current dataset, so this first slice focuses on score and comment movement.
Score
Range 3 to 84
2026-08-16 20:41 UTC2026-08-17 04:03 UTC
Comments
Range 0 to 96
2026-08-16 20:41 UTC2026-08-17 04:03 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-08-16 20:41 UTCLatest 2026-08-17 04:03 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-08-17 04:03 UTC | 84 | 96 | not tracked |
| 2026-08-17 03:58 UTC | 84 | 96 | not tracked |
| 2026-08-17 03:54 UTC | 84 | 96 | not tracked |
| 2026-08-17 03:49 UTC | 84 | 96 | not tracked |
| 2026-08-17 03:44 UTC | 84 | 96 | not tracked |
| 2026-08-17 03:40 UTC | 84 | 96 | not tracked |
| 2026-08-17 03:35 UTC | 84 | 95 | not tracked |
| 2026-08-17 03:31 UTC | 84 | 95 | not tracked |
| 2026-08-17 03:26 UTC | 84 | 95 | not tracked |
| 2026-08-17 03:22 UTC | 84 | 95 | not tracked |
| 2026-08-17 03:17 UTC | 84 | 95 | not tracked |
| 2026-08-17 03:12 UTC | 84 | 94 | not tracked |
| 2026-08-17 03:08 UTC | 84 | 93 | not tracked |
| 2026-08-17 03:03 UTC | 84 | 93 | not tracked |
| 2026-08-17 02:59 UTC | 84 | 92 | not tracked |
| 2026-08-17 02:54 UTC | 84 | 92 | not tracked |
| 2026-08-17 02:49 UTC | 83 | 91 | not tracked |
| 2026-08-17 02:45 UTC | 83 | 91 | not tracked |
| 2026-08-17 02:40 UTC | 83 | 91 | not tracked |
| 2026-08-17 02:36 UTC | 83 | 90 | not tracked |
| 2026-08-17 02:31 UTC | 82 | 89 | not tracked |
| 2026-08-17 02:26 UTC | 82 | 87 | not tracked |
| 2026-08-17 02:22 UTC | 82 | 87 | not tracked |
| 2026-08-17 02:17 UTC | 82 | 85 | not tracked |
| 2026-08-17 02:11 UTC | 82 | 83 | not tracked |
| 2026-08-17 02:06 UTC | 82 | 81 | not tracked |
| 2026-08-17 02:01 UTC | 82 | 81 | not tracked |
| 2026-08-17 01:57 UTC | 82 | 79 | not tracked |
| 2026-08-17 01:52 UTC | 82 | 79 | not tracked |
| 2026-08-17 01:48 UTC | 82 | 78 | not tracked |
| 2026-08-17 01:43 UTC | 81 | 78 | not tracked |
| 2026-08-17 01:39 UTC | 81 | 77 | not tracked |
| 2026-08-17 01:34 UTC | 81 | 76 | not tracked |
| 2026-08-17 01:29 UTC | 79 | 76 | not tracked |
| 2026-08-17 01:25 UTC | 79 | 75 | not tracked |
| 2026-08-17 01:20 UTC | 78 | 74 | not tracked |
| 2026-08-17 01:16 UTC | 78 | 73 | not tracked |
| 2026-08-17 01:11 UTC | 78 | 71 | not tracked |
| 2026-08-17 01:06 UTC | 78 | 70 | not tracked |
| 2026-08-17 01:02 UTC | 78 | 70 | not tracked |
| 2026-08-17 00:57 UTC | 78 | 68 | not tracked |
| 2026-08-17 00:53 UTC | 77 | 65 | not tracked |
| 2026-08-17 00:48 UTC | 77 | 63 | not tracked |
| 2026-08-17 00:44 UTC | 77 | 63 | not tracked |
| 2026-08-17 00:39 UTC | 76 | 63 | not tracked |
| 2026-08-17 00:35 UTC | 76 | 63 | not tracked |
| 2026-08-17 00:30 UTC | 76 | 62 | not tracked |
| 2026-08-17 00:25 UTC | 76 | 62 | not tracked |
| 2026-08-17 00:21 UTC | 76 | 62 | not tracked |
| 2026-08-17 00:16 UTC | 75 | 62 | not tracked |
| 2026-08-17 00:12 UTC | 74 | 62 | not tracked |
| 2026-08-17 00:06 UTC | 73 | 62 | not tracked |
| 2026-08-17 00:01 UTC | 72 | 62 | not tracked |
| 2026-08-16 23:56 UTC | 71 | 62 | not tracked |
| 2026-08-16 23:52 UTC | 71 | 62 | not tracked |
| 2026-08-16 23:47 UTC | 71 | 61 | not tracked |
| 2026-08-16 23:42 UTC | 71 | 61 | not tracked |
| 2026-08-16 23:38 UTC | 69 | 60 | not tracked |
| 2026-08-16 23:33 UTC | 69 | 58 | not tracked |
| 2026-08-16 23:29 UTC | 67 | 58 | not tracked |
| 2026-08-16 23:24 UTC | 67 | 57 | not tracked |
| 2026-08-16 23:20 UTC | 67 | 57 | not tracked |
| 2026-08-16 23:15 UTC | 67 | 56 | not tracked |
| 2026-08-16 23:10 UTC | 64 | 56 | not tracked |
| 2026-08-16 23:06 UTC | 63 | 54 | not tracked |
| 2026-08-16 23:01 UTC | 63 | 52 | not tracked |
| 2026-08-16 22:56 UTC | 59 | 51 | not tracked |
| 2026-08-16 22:52 UTC | 59 | 49 | not tracked |
| 2026-08-16 22:47 UTC | 56 | 48 | not tracked |
| 2026-08-16 22:43 UTC | 55 | 48 | not tracked |
| 2026-08-16 22:38 UTC | 55 | 45 | not tracked |
| 2026-08-16 22:34 UTC | 53 | 44 | not tracked |
| 2026-08-16 22:29 UTC | 52 | 44 | not tracked |
| 2026-08-16 22:24 UTC | 52 | 43 | not tracked |
| 2026-08-16 22:20 UTC | 50 | 41 | not tracked |
| 2026-08-16 22:15 UTC | 49 | 41 | not tracked |
| 2026-08-16 22:11 UTC | 48 | 37 | not tracked |
| 2026-08-16 22:06 UTC | 45 | 30 | not tracked |
| 2026-08-16 22:00 UTC | 41 | 26 | not tracked |
| 2026-08-16 21:55 UTC | 37 | 23 | not tracked |
| 2026-08-16 21:50 UTC | 35 | 22 | not tracked |
| 2026-08-16 21:46 UTC | 33 | 21 | not tracked |
| 2026-08-16 21:41 UTC | 31 | 20 | not tracked |
| 2026-08-16 21:37 UTC | 29 | 20 | not tracked |
| 2026-08-16 21:32 UTC | 28 | 17 | not tracked |
| 2026-08-16 21:27 UTC | 28 | 13 | not tracked |
| 2026-08-16 21:23 UTC | 24 | 12 | not tracked |
| 2026-08-16 21:18 UTC | 21 | 7 | not tracked |
| 2026-08-16 21:14 UTC | 18 | 5 | not tracked |
| 2026-08-16 21:09 UTC | 16 | 5 | not tracked |
| 2026-08-16 21:05 UTC | 13 | 4 | not tracked |
| 2026-08-16 21:00 UTC | 11 | 2 | not tracked |
| 2026-08-16 20:55 UTC | 9 | 1 | not tracked |
| 2026-08-16 20:51 UTC | 6 | 1 | not tracked |
| 2026-08-16 20:46 UTC | 4 | 0 | not tracked |
| 2026-08-16 20:41 UTC | 3 | 0 | not tracked |