backend ok
Story history
Score and comment observations over time
Prose as Code: Applying Formal Verification to Product Specs
HN #49,798,556 | submitted 2026-09-22 09:31 UTC | alexanderabramovich.medium.com
57 observationsby happyalexander
7 points
Latest score
0 comments
Latest comments
+6
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 7
2026-09-22 09:37 UTC2026-09-22 14:07 UTC
Comments
Range 0 to 0
2026-09-22 09:37 UTC2026-09-22 14:07 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-09-22 09:37 UTCLatest 2026-09-22 14:07 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-09-22 14:07 UTC | 7 | 0 | not tracked |
| 2026-09-22 14:02 UTC | 7 | 0 | not tracked |
| 2026-09-22 13:58 UTC | 7 | 0 | not tracked |
| 2026-09-22 13:53 UTC | 7 | 0 | not tracked |
| 2026-09-22 13:48 UTC | 7 | 0 | not tracked |
| 2026-09-22 13:43 UTC | 7 | 0 | not tracked |
| 2026-09-22 13:39 UTC | 7 | 0 | not tracked |
| 2026-09-22 13:34 UTC | 7 | 0 | not tracked |
| 2026-09-22 13:29 UTC | 7 | 0 | not tracked |
| 2026-09-22 13:25 UTC | 7 | 0 | not tracked |
| 2026-09-22 13:20 UTC | 7 | 0 | not tracked |
| 2026-09-22 13:15 UTC | 7 | 0 | not tracked |
| 2026-09-22 13:09 UTC | 7 | 0 | not tracked |
| 2026-09-22 13:04 UTC | 7 | 0 | not tracked |
| 2026-09-22 12:59 UTC | 7 | 0 | not tracked |
| 2026-09-22 12:55 UTC | 7 | 0 | not tracked |
| 2026-09-22 12:50 UTC | 7 | 0 | not tracked |
| 2026-09-22 12:45 UTC | 7 | 0 | not tracked |
| 2026-09-22 12:41 UTC | 7 | 0 | not tracked |
| 2026-09-22 12:36 UTC | 7 | 0 | not tracked |
| 2026-09-22 12:31 UTC | 7 | 0 | not tracked |
| 2026-09-22 12:27 UTC | 6 | 0 | not tracked |
| 2026-09-22 12:22 UTC | 6 | 0 | not tracked |
| 2026-09-22 12:17 UTC | 6 | 0 | not tracked |
| 2026-09-22 12:13 UTC | 6 | 0 | not tracked |
| 2026-09-22 12:06 UTC | 6 | 0 | not tracked |
| 2026-09-22 12:01 UTC | 6 | 0 | not tracked |
| 2026-09-22 11:57 UTC | 6 | 0 | not tracked |
| 2026-09-22 11:52 UTC | 5 | 0 | not tracked |
| 2026-09-22 11:47 UTC | 4 | 0 | not tracked |
| 2026-09-22 11:43 UTC | 4 | 0 | not tracked |
| 2026-09-22 11:38 UTC | 4 | 0 | not tracked |
| 2026-09-22 11:33 UTC | 4 | 0 | not tracked |
| 2026-09-22 11:29 UTC | 4 | 0 | not tracked |
| 2026-09-22 11:24 UTC | 4 | 0 | not tracked |
| 2026-09-22 11:19 UTC | 4 | 0 | not tracked |
| 2026-09-22 11:15 UTC | 4 | 0 | not tracked |
| 2026-09-22 11:10 UTC | 4 | 0 | not tracked |
| 2026-09-22 11:03 UTC | 4 | 0 | not tracked |
| 2026-09-22 10:59 UTC | 4 | 0 | not tracked |
| 2026-09-22 10:54 UTC | 4 | 0 | not tracked |
| 2026-09-22 10:49 UTC | 4 | 0 | not tracked |
| 2026-09-22 10:45 UTC | 4 | 0 | not tracked |
| 2026-09-22 10:40 UTC | 3 | 0 | not tracked |
| 2026-09-22 10:35 UTC | 3 | 0 | not tracked |
| 2026-09-22 10:31 UTC | 3 | 0 | not tracked |
| 2026-09-22 10:26 UTC | 3 | 0 | not tracked |
| 2026-09-22 10:21 UTC | 3 | 0 | not tracked |
| 2026-09-22 10:17 UTC | 3 | 0 | not tracked |
| 2026-09-22 10:12 UTC | 3 | 0 | not tracked |
| 2026-09-22 10:07 UTC | 3 | 0 | not tracked |
| 2026-09-22 10:01 UTC | 2 | 0 | not tracked |
| 2026-09-22 09:56 UTC | 2 | 0 | not tracked |
| 2026-09-22 09:51 UTC | 2 | 0 | not tracked |
| 2026-09-22 09:47 UTC | 1 | 0 | not tracked |
| 2026-09-22 09:42 UTC | 1 | 0 | not tracked |
| 2026-09-22 09:37 UTC | 1 | 0 | not tracked |