backend ok
Story history
Score and comment observations over time
Show HN: Untyped – check recorded agent runs against a TLA+ spec
HN #49,953,789 | submitted 2026-10-04 13:33 UTC | github.com
69 observationsby damianabramov
2 points
Latest score
0 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 1 to 2
2026-10-04 13:38 UTC2026-10-04 19:02 UTC
Comments
Range 0 to 0
2026-10-04 13:38 UTC2026-10-04 19:02 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-10-04 13:38 UTCLatest 2026-10-04 19:02 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-10-04 19:02 UTC | 2 | 0 | not tracked |
| 2026-10-04 18:57 UTC | 2 | 0 | not tracked |
| 2026-10-04 18:53 UTC | 2 | 0 | not tracked |
| 2026-10-04 18:48 UTC | 2 | 0 | not tracked |
| 2026-10-04 18:44 UTC | 2 | 0 | not tracked |
| 2026-10-04 18:39 UTC | 2 | 0 | not tracked |
| 2026-10-04 18:34 UTC | 2 | 0 | not tracked |
| 2026-10-04 18:30 UTC | 2 | 0 | not tracked |
| 2026-10-04 18:25 UTC | 2 | 0 | not tracked |
| 2026-10-04 18:20 UTC | 2 | 0 | not tracked |
| 2026-10-04 18:16 UTC | 2 | 0 | not tracked |
| 2026-10-04 18:11 UTC | 2 | 0 | not tracked |
| 2026-10-04 18:06 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:59 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:55 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:50 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:45 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:41 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:36 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:32 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:27 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:22 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:18 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:13 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:08 UTC | 2 | 0 | not tracked |
| 2026-10-04 17:04 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:56 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:52 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:47 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:43 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:38 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:33 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:29 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:24 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:19 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:15 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:10 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:05 UTC | 2 | 0 | not tracked |
| 2026-10-04 16:01 UTC | 2 | 0 | not tracked |
| 2026-10-04 15:55 UTC | 2 | 0 | not tracked |
| 2026-10-04 15:50 UTC | 2 | 0 | not tracked |
| 2026-10-04 15:46 UTC | 2 | 0 | not tracked |
| 2026-10-04 15:41 UTC | 2 | 0 | not tracked |
| 2026-10-04 15:36 UTC | 2 | 0 | not tracked |
| 2026-10-04 15:32 UTC | 2 | 0 | not tracked |
| 2026-10-04 15:27 UTC | 2 | 0 | not tracked |
| 2026-10-04 15:22 UTC | 2 | 0 | not tracked |
| 2026-10-04 15:18 UTC | 2 | 0 | not tracked |
| 2026-10-04 15:13 UTC | 2 | 0 | not tracked |
| 2026-10-04 15:08 UTC | 2 | 0 | not tracked |
| 2026-10-04 15:04 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:59 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:54 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:50 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:45 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:41 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:36 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:32 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:27 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:22 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:18 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:13 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:09 UTC | 2 | 0 | not tracked |
| 2026-10-04 14:04 UTC | 2 | 0 | not tracked |
| 2026-10-04 13:59 UTC | 2 | 0 | not tracked |
| 2026-10-04 13:55 UTC | 2 | 0 | not tracked |
| 2026-10-04 13:47 UTC | 2 | 0 | not tracked |
| 2026-10-04 13:43 UTC | 2 | 0 | not tracked |
| 2026-10-04 13:38 UTC | 1 | 0 | not tracked |