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