backend ok
Story history
Score and comment observations over time
Agentic Proof-Oriented Programming
HN #49,281,080 | submitted 2026-08-13 02:13 UTC | fstar-lang.org
109 observationsby woggy
1 points
Latest score
0 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-08-13 02:20 UTC2026-08-13 10:48 UTC
Comments
Range 0 to 0
2026-08-13 02:20 UTC2026-08-13 10:48 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-08-13 02:20 UTCLatest 2026-08-13 10:48 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-08-13 10:48 UTC | 1 | 0 | not tracked |
| 2026-08-13 10:43 UTC | 1 | 0 | not tracked |
| 2026-08-13 10:39 UTC | 1 | 0 | not tracked |
| 2026-08-13 10:34 UTC | 1 | 0 | not tracked |
| 2026-08-13 10:30 UTC | 1 | 0 | not tracked |
| 2026-08-13 10:25 UTC | 1 | 0 | not tracked |
| 2026-08-13 10:21 UTC | 1 | 0 | not tracked |
| 2026-08-13 10:16 UTC | 1 | 0 | not tracked |
| 2026-08-13 10:11 UTC | 1 | 0 | not tracked |
| 2026-08-13 10:07 UTC | 1 | 0 | not tracked |
| 2026-08-13 10:00 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:55 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:50 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:46 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:41 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:37 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:32 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:28 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:23 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:18 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:14 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:09 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:05 UTC | 1 | 0 | not tracked |
| 2026-08-13 09:00 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:56 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:51 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:46 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:42 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:37 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:33 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:28 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:24 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:19 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:15 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:10 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:05 UTC | 1 | 0 | not tracked |
| 2026-08-13 08:01 UTC | 1 | 0 | not tracked |
| 2026-08-13 07:54 UTC | 1 | 0 | not tracked |
| 2026-08-13 07:49 UTC | 1 | 0 | not tracked |
| 2026-08-13 07:45 UTC | 1 | 0 | not tracked |
| 2026-08-13 07:40 UTC | 1 | 0 | not tracked |
| 2026-08-13 07:35 UTC | 1 | 0 | not tracked |
| 2026-08-13 07:31 UTC | 1 | 0 | not tracked |
| 2026-08-13 07:26 UTC | 1 | 0 | not tracked |
| 2026-08-13 07:22 UTC | 1 | 0 | not tracked |
| 2026-08-13 07:17 UTC | 1 | 0 | not tracked |
| 2026-08-13 07:12 UTC | 1 | 0 | not tracked |
| 2026-08-13 07:08 UTC | 1 | 0 | not tracked |
| 2026-08-13 07:03 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:59 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:54 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:49 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:45 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:40 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:36 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:31 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:26 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:22 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:17 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:13 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:08 UTC | 1 | 0 | not tracked |
| 2026-08-13 06:04 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:59 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:54 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:47 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:42 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:38 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:33 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:29 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:24 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:19 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:15 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:10 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:06 UTC | 1 | 0 | not tracked |
| 2026-08-13 05:01 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:56 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:51 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:45 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:41 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:36 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:31 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:27 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:22 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:18 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:13 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:08 UTC | 1 | 0 | not tracked |
| 2026-08-13 04:04 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:59 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:55 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:50 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:45 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:41 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:36 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:31 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:27 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:22 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:18 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:13 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:08 UTC | 1 | 0 | not tracked |
| 2026-08-13 03:04 UTC | 1 | 0 | not tracked |
| 2026-08-13 02:59 UTC | 1 | 0 | not tracked |
| 2026-08-13 02:55 UTC | 1 | 0 | not tracked |
| 2026-08-13 02:50 UTC | 1 | 0 | not tracked |
| 2026-08-13 02:45 UTC | 1 | 0 | not tracked |
| 2026-08-13 02:38 UTC | 1 | 0 | not tracked |
| 2026-08-13 02:34 UTC | 1 | 0 | not tracked |
| 2026-08-13 02:29 UTC | 1 | 0 | not tracked |
| 2026-08-13 02:24 UTC | 1 | 0 | not tracked |
| 2026-08-13 02:20 UTC | 1 | 0 | not tracked |