backend ok
Story history
Score and comment observations over time
F*: A general-purpose proof-oriented programming language
HN #49,143,925 | submitted 2026-08-02 12:31 UTC | fstar-lang.org
74 observationsby ducktective
94 points
Latest score
31 comments
Latest comments
+93
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 94
2026-08-02 12:38 UTC2026-08-02 18:17 UTC
Comments
Range 0 to 32
2026-08-02 12:38 UTC2026-08-02 18:17 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-08-02 12:38 UTCLatest 2026-08-02 18:17 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-08-02 18:17 UTC | 94 | 31 | not tracked |
| 2026-08-02 18:13 UTC | 93 | 31 | not tracked |
| 2026-08-02 18:08 UTC | 91 | 31 | not tracked |
| 2026-08-02 18:03 UTC | 90 | 31 | not tracked |
| 2026-08-02 17:59 UTC | 87 | 31 | not tracked |
| 2026-08-02 17:54 UTC | 87 | 31 | not tracked |
| 2026-08-02 17:49 UTC | 87 | 31 | not tracked |
| 2026-08-02 17:45 UTC | 84 | 31 | not tracked |
| 2026-08-02 17:40 UTC | 84 | 31 | not tracked |
| 2026-08-02 17:35 UTC | 83 | 31 | not tracked |
| 2026-08-02 17:31 UTC | 81 | 31 | not tracked |
| 2026-08-02 17:25 UTC | 80 | 31 | not tracked |
| 2026-08-02 17:21 UTC | 80 | 31 | not tracked |
| 2026-08-02 17:16 UTC | 80 | 32 | not tracked |
| 2026-08-02 17:11 UTC | 78 | 32 | not tracked |
| 2026-08-02 17:07 UTC | 77 | 30 | not tracked |
| 2026-08-02 17:02 UTC | 77 | 30 | not tracked |
| 2026-08-02 16:57 UTC | 76 | 30 | not tracked |
| 2026-08-02 16:53 UTC | 76 | 31 | not tracked |
| 2026-08-02 16:48 UTC | 77 | 30 | not tracked |
| 2026-08-02 16:43 UTC | 76 | 28 | not tracked |
| 2026-08-02 16:38 UTC | 76 | 28 | not tracked |
| 2026-08-02 16:33 UTC | 70 | 28 | not tracked |
| 2026-08-02 16:29 UTC | 68 | 24 | not tracked |
| 2026-08-02 16:24 UTC | 66 | 21 | not tracked |
| 2026-08-02 16:19 UTC | 65 | 21 | not tracked |
| 2026-08-02 16:15 UTC | 63 | 21 | not tracked |
| 2026-08-02 16:10 UTC | 62 | 21 | not tracked |
| 2026-08-02 16:06 UTC | 61 | 18 | not tracked |
| 2026-08-02 16:01 UTC | 61 | 17 | not tracked |
| 2026-08-02 15:56 UTC | 60 | 17 | not tracked |
| 2026-08-02 15:51 UTC | 56 | 17 | not tracked |
| 2026-08-02 15:47 UTC | 53 | 16 | not tracked |
| 2026-08-02 15:42 UTC | 48 | 16 | not tracked |
| 2026-08-02 15:38 UTC | 47 | 15 | not tracked |
| 2026-08-02 15:33 UTC | 47 | 13 | not tracked |
| 2026-08-02 15:28 UTC | 46 | 12 | not tracked |
| 2026-08-02 15:24 UTC | 44 | 12 | not tracked |
| 2026-08-02 15:19 UTC | 42 | 12 | not tracked |
| 2026-08-02 15:15 UTC | 38 | 13 | not tracked |
| 2026-08-02 15:10 UTC | 38 | 10 | not tracked |
| 2026-08-02 15:05 UTC | 38 | 8 | not tracked |
| 2026-08-02 15:01 UTC | 33 | 8 | not tracked |
| 2026-08-02 14:56 UTC | 31 | 6 | not tracked |
| 2026-08-02 14:52 UTC | 30 | 5 | not tracked |
| 2026-08-02 14:47 UTC | 26 | 3 | not tracked |
| 2026-08-02 14:42 UTC | 21 | 3 | not tracked |
| 2026-08-02 14:38 UTC | 18 | 2 | not tracked |
| 2026-08-02 14:33 UTC | 16 | 2 | not tracked |
| 2026-08-02 14:29 UTC | 14 | 1 | not tracked |
| 2026-08-02 14:24 UTC | 14 | 1 | not tracked |
| 2026-08-02 14:19 UTC | 11 | 1 | not tracked |
| 2026-08-02 14:15 UTC | 8 | 1 | not tracked |
| 2026-08-02 14:10 UTC | 5 | 1 | not tracked |
| 2026-08-02 14:05 UTC | 5 | 1 | not tracked |
| 2026-08-02 14:01 UTC | 4 | 1 | not tracked |
| 2026-08-02 13:56 UTC | 3 | 0 | not tracked |
| 2026-08-02 13:52 UTC | 2 | 0 | not tracked |
| 2026-08-02 13:47 UTC | 2 | 0 | not tracked |
| 2026-08-02 13:42 UTC | 2 | 0 | not tracked |
| 2026-08-02 13:38 UTC | 2 | 0 | not tracked |
| 2026-08-02 13:33 UTC | 2 | 0 | not tracked |
| 2026-08-02 13:29 UTC | 2 | 0 | not tracked |
| 2026-08-02 13:24 UTC | 2 | 0 | not tracked |
| 2026-08-02 13:19 UTC | 2 | 0 | not tracked |
| 2026-08-02 13:15 UTC | 2 | 0 | not tracked |
| 2026-08-02 13:10 UTC | 2 | 0 | not tracked |
| 2026-08-02 13:06 UTC | 2 | 0 | not tracked |
| 2026-08-02 13:01 UTC | 2 | 0 | not tracked |
| 2026-08-02 12:56 UTC | 2 | 0 | not tracked |
| 2026-08-02 12:52 UTC | 2 | 0 | not tracked |
| 2026-08-02 12:47 UTC | 1 | 0 | not tracked |
| 2026-08-02 12:43 UTC | 1 | 0 | not tracked |
| 2026-08-02 12:38 UTC | 1 | 0 | not tracked |