backend ok
Story history
Score and comment observations over time
Show HN: Forall – Spec-driven AI coding with formal verification
HN #48,942,012 | submitted 2026-07-17 00:22 UTC | github.com
111 observationsby Nolan_Lwin
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-07-17 00:27 UTC2026-07-17 09:11 UTC
Comments
Range 0 to 0
2026-07-17 00:27 UTC2026-07-17 09:11 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-17 00:27 UTCLatest 2026-07-17 09:11 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-17 09:11 UTC | 7 | 0 | not tracked |
| 2026-07-17 09:06 UTC | 7 | 0 | not tracked |
| 2026-07-17 09:02 UTC | 7 | 0 | not tracked |
| 2026-07-17 08:57 UTC | 7 | 0 | not tracked |
| 2026-07-17 08:52 UTC | 7 | 0 | not tracked |
| 2026-07-17 08:48 UTC | 7 | 0 | not tracked |
| 2026-07-17 08:43 UTC | 7 | 0 | not tracked |
| 2026-07-17 08:39 UTC | 7 | 0 | not tracked |
| 2026-07-17 08:34 UTC | 7 | 0 | not tracked |
| 2026-07-17 08:27 UTC | 7 | 0 | not tracked |
| 2026-07-17 08:22 UTC | 7 | 0 | not tracked |
| 2026-07-17 08:18 UTC | 7 | 0 | not tracked |
| 2026-07-17 08:13 UTC | 7 | 0 | not tracked |
| 2026-07-17 08:08 UTC | 7 | 0 | not tracked |
| 2026-07-17 08:04 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:59 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:55 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:50 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:45 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:41 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:36 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:31 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:24 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:19 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:15 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:10 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:06 UTC | 7 | 0 | not tracked |
| 2026-07-17 07:01 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:56 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:52 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:47 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:42 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:38 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:33 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:29 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:23 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:18 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:14 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:09 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:05 UTC | 7 | 0 | not tracked |
| 2026-07-17 06:00 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:55 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:51 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:46 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:42 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:37 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:32 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:28 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:23 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:18 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:14 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:09 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:05 UTC | 7 | 0 | not tracked |
| 2026-07-17 05:00 UTC | 7 | 0 | not tracked |
| 2026-07-17 04:55 UTC | 7 | 0 | not tracked |
| 2026-07-17 04:51 UTC | 7 | 0 | not tracked |
| 2026-07-17 04:46 UTC | 7 | 0 | not tracked |
| 2026-07-17 04:42 UTC | 7 | 0 | not tracked |
| 2026-07-17 04:37 UTC | 7 | 0 | not tracked |
| 2026-07-17 04:32 UTC | 7 | 0 | not tracked |
| 2026-07-17 04:28 UTC | 7 | 0 | not tracked |
| 2026-07-17 04:23 UTC | 7 | 0 | not tracked |
| 2026-07-17 04:16 UTC | 7 | 0 | not tracked |
| 2026-07-17 04:12 UTC | 7 | 0 | not tracked |
| 2026-07-17 04:07 UTC | 7 | 0 | not tracked |
| 2026-07-17 04:02 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:58 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:53 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:48 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:44 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:39 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:35 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:30 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:25 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:21 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:16 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:11 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:07 UTC | 7 | 0 | not tracked |
| 2026-07-17 03:02 UTC | 7 | 0 | not tracked |
| 2026-07-17 02:57 UTC | 7 | 0 | not tracked |
| 2026-07-17 02:52 UTC | 7 | 0 | not tracked |
| 2026-07-17 02:48 UTC | 7 | 0 | not tracked |
| 2026-07-17 02:43 UTC | 7 | 0 | not tracked |
| 2026-07-17 02:38 UTC | 7 | 0 | not tracked |
| 2026-07-17 02:34 UTC | 7 | 0 | not tracked |
| 2026-07-17 02:29 UTC | 7 | 0 | not tracked |
| 2026-07-17 02:24 UTC | 7 | 0 | not tracked |
| 2026-07-17 02:18 UTC | 7 | 0 | not tracked |
| 2026-07-17 02:13 UTC | 7 | 0 | not tracked |
| 2026-07-17 02:08 UTC | 7 | 0 | not tracked |
| 2026-07-17 02:04 UTC | 7 | 0 | not tracked |
| 2026-07-17 01:59 UTC | 7 | 0 | not tracked |
| 2026-07-17 01:54 UTC | 7 | 0 | not tracked |
| 2026-07-17 01:50 UTC | 7 | 0 | not tracked |
| 2026-07-17 01:45 UTC | 7 | 0 | not tracked |
| 2026-07-17 01:40 UTC | 7 | 0 | not tracked |
| 2026-07-17 01:35 UTC | 7 | 0 | not tracked |
| 2026-07-17 01:30 UTC | 7 | 0 | not tracked |
| 2026-07-17 01:24 UTC | 7 | 0 | not tracked |
| 2026-07-17 01:20 UTC | 7 | 0 | not tracked |
| 2026-07-17 01:15 UTC | 7 | 0 | not tracked |
| 2026-07-17 01:08 UTC | 7 | 0 | not tracked |
| 2026-07-17 01:03 UTC | 7 | 0 | not tracked |
| 2026-07-17 00:59 UTC | 7 | 0 | not tracked |
| 2026-07-17 00:54 UTC | 7 | 0 | not tracked |
| 2026-07-17 00:50 UTC | 7 | 0 | not tracked |
| 2026-07-17 00:45 UTC | 7 | 0 | not tracked |
| 2026-07-17 00:40 UTC | 7 | 0 | not tracked |
| 2026-07-17 00:36 UTC | 7 | 0 | not tracked |
| 2026-07-17 00:31 UTC | 7 | 0 | not tracked |
| 2026-07-17 00:27 UTC | 1 | 0 | not tracked |