backend ok
Story history
Score and comment observations over time
Specula: Scaling formal specs for autonomous model checking of system code
HN #49,281,628 | submitted 2026-08-13 03:54 UTC | muratbuffalo.blogspot.com
102 observationsby matt_d
6 points
Latest score
0 comments
Latest comments
+5
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 6
2026-08-13 03:59 UTC2026-08-13 11:52 UTC
Comments
Range 0 to 0
2026-08-13 03:59 UTC2026-08-13 11:52 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-08-13 03:59 UTCLatest 2026-08-13 11:52 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-08-13 11:52 UTC | 6 | 0 | not tracked |
| 2026-08-13 11:48 UTC | 6 | 0 | not tracked |
| 2026-08-13 11:43 UTC | 6 | 0 | not tracked |
| 2026-08-13 11:39 UTC | 6 | 0 | not tracked |
| 2026-08-13 11:34 UTC | 6 | 0 | not tracked |
| 2026-08-13 11:29 UTC | 6 | 0 | not tracked |
| 2026-08-13 11:25 UTC | 6 | 0 | not tracked |
| 2026-08-13 11:20 UTC | 6 | 0 | not tracked |
| 2026-08-13 11:16 UTC | 6 | 0 | not tracked |
| 2026-08-13 11:11 UTC | 6 | 0 | not tracked |
| 2026-08-13 11:06 UTC | 6 | 0 | not tracked |
| 2026-08-13 11:02 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:57 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:53 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:48 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:43 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:39 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:34 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:30 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:25 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:21 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:16 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:11 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:07 UTC | 6 | 0 | not tracked |
| 2026-08-13 10:00 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:55 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:51 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:46 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:41 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:37 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:32 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:28 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:23 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:19 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:14 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:09 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:05 UTC | 6 | 0 | not tracked |
| 2026-08-13 09:00 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:56 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:51 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:47 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:42 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:37 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:33 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:28 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:24 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:19 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:15 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:10 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:06 UTC | 6 | 0 | not tracked |
| 2026-08-13 08:01 UTC | 6 | 0 | not tracked |
| 2026-08-13 07:54 UTC | 6 | 0 | not tracked |
| 2026-08-13 07:49 UTC | 6 | 0 | not tracked |
| 2026-08-13 07:45 UTC | 6 | 0 | not tracked |
| 2026-08-13 07:40 UTC | 6 | 0 | not tracked |
| 2026-08-13 07:36 UTC | 6 | 0 | not tracked |
| 2026-08-13 07:31 UTC | 6 | 0 | not tracked |
| 2026-08-13 07:26 UTC | 6 | 0 | not tracked |
| 2026-08-13 07:22 UTC | 6 | 0 | not tracked |
| 2026-08-13 07:17 UTC | 6 | 0 | not tracked |
| 2026-08-13 07:13 UTC | 6 | 0 | not tracked |
| 2026-08-13 07:08 UTC | 6 | 0 | not tracked |
| 2026-08-13 07:03 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:59 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:54 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:49 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:45 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:40 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:36 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:31 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:27 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:22 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:17 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:13 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:08 UTC | 6 | 0 | not tracked |
| 2026-08-13 06:04 UTC | 6 | 0 | not tracked |
| 2026-08-13 05:59 UTC | 6 | 0 | not tracked |
| 2026-08-13 05:54 UTC | 6 | 0 | not tracked |
| 2026-08-13 05:47 UTC | 6 | 0 | not tracked |
| 2026-08-13 05:42 UTC | 6 | 0 | not tracked |
| 2026-08-13 05:38 UTC | 6 | 0 | not tracked |
| 2026-08-13 05:33 UTC | 6 | 0 | not tracked |
| 2026-08-13 05:29 UTC | 6 | 0 | not tracked |
| 2026-08-13 05:24 UTC | 6 | 0 | not tracked |
| 2026-08-13 05:19 UTC | 3 | 0 | not tracked |
| 2026-08-13 05:15 UTC | 3 | 0 | not tracked |
| 2026-08-13 05:10 UTC | 3 | 0 | not tracked |
| 2026-08-13 05:06 UTC | 3 | 0 | not tracked |
| 2026-08-13 05:01 UTC | 3 | 0 | not tracked |
| 2026-08-13 04:56 UTC | 2 | 0 | not tracked |
| 2026-08-13 04:52 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:45 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:41 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:36 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:31 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:27 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:22 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:18 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:13 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:08 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:04 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:59 UTC | 1 | 0 | not tracked |