backend ok
Story history
Score and comment observations over time
Certified State Reductions and Semantics of Conjecture-Checking Turing Machines
HN #50,101,557 | submitted 2026-10-15 10:10 UTC | github.com
60 observationsby lairv
1 points
Latest score
1 comments
Latest comments
0
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 1
2026-10-15 10:14 UTC2026-10-15 14:54 UTC
Comments
Range 1 to 1
2026-10-15 10:14 UTC2026-10-15 14:54 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-10-15 10:14 UTCLatest 2026-10-15 14:54 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-10-15 14:54 UTC | 1 | 1 | not tracked |
| 2026-10-15 14:49 UTC | 1 | 1 | not tracked |
| 2026-10-15 14:45 UTC | 1 | 1 | not tracked |
| 2026-10-15 14:40 UTC | 1 | 1 | not tracked |
| 2026-10-15 14:35 UTC | 1 | 1 | not tracked |
| 2026-10-15 14:31 UTC | 1 | 1 | not tracked |
| 2026-10-15 14:26 UTC | 1 | 1 | not tracked |
| 2026-10-15 14:21 UTC | 1 | 1 | not tracked |
| 2026-10-15 14:15 UTC | 1 | 1 | not tracked |
| 2026-10-15 14:10 UTC | 1 | 1 | not tracked |
| 2026-10-15 14:05 UTC | 1 | 1 | not tracked |
| 2026-10-15 14:00 UTC | 1 | 1 | not tracked |
| 2026-10-15 13:56 UTC | 1 | 1 | not tracked |
| 2026-10-15 13:51 UTC | 1 | 1 | not tracked |
| 2026-10-15 13:46 UTC | 1 | 1 | not tracked |
| 2026-10-15 13:42 UTC | 1 | 1 | not tracked |
| 2026-10-15 13:37 UTC | 1 | 1 | not tracked |
| 2026-10-15 13:32 UTC | 1 | 1 | not tracked |
| 2026-10-15 13:28 UTC | 1 | 1 | not tracked |
| 2026-10-15 13:23 UTC | 1 | 1 | not tracked |
| 2026-10-15 13:19 UTC | 1 | 1 | not tracked |
| 2026-10-15 13:11 UTC | 1 | 1 | not tracked |
| 2026-10-15 13:07 UTC | 1 | 1 | not tracked |
| 2026-10-15 13:02 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:57 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:53 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:48 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:43 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:39 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:34 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:30 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:25 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:20 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:16 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:09 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:05 UTC | 1 | 1 | not tracked |
| 2026-10-15 12:00 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:55 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:51 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:46 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:42 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:37 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:32 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:28 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:23 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:19 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:14 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:09 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:04 UTC | 1 | 1 | not tracked |
| 2026-10-15 11:00 UTC | 1 | 1 | not tracked |
| 2026-10-15 10:55 UTC | 1 | 1 | not tracked |
| 2026-10-15 10:51 UTC | 1 | 1 | not tracked |
| 2026-10-15 10:46 UTC | 1 | 1 | not tracked |
| 2026-10-15 10:41 UTC | 1 | 1 | not tracked |
| 2026-10-15 10:37 UTC | 1 | 1 | not tracked |
| 2026-10-15 10:32 UTC | 1 | 1 | not tracked |
| 2026-10-15 10:28 UTC | 1 | 1 | not tracked |
| 2026-10-15 10:23 UTC | 1 | 1 | not tracked |
| 2026-10-15 10:18 UTC | 1 | 1 | not tracked |
| 2026-10-15 10:14 UTC | 1 | 1 | not tracked |