backend ok
Story history
Score and comment observations over time
Tutorial: Introduction to Formal Verification with Lean (Part 1)
HN #48,961,533 | submitted 2026-07-18 19:40 UTC | hashcloak.com
86 observationsby birdculture
3 points
Latest score
0 comments
Latest comments
+2
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 3
2026-07-18 19:46 UTC2026-07-19 02:38 UTC
Comments
Range 0 to 0
2026-07-18 19:46 UTC2026-07-19 02:38 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-18 19:46 UTCLatest 2026-07-19 02:38 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-19 02:38 UTC | 3 | 0 | not tracked |
| 2026-07-19 02:33 UTC | 3 | 0 | not tracked |
| 2026-07-19 02:28 UTC | 3 | 0 | not tracked |
| 2026-07-19 02:21 UTC | 3 | 0 | not tracked |
| 2026-07-19 02:16 UTC | 3 | 0 | not tracked |
| 2026-07-19 02:12 UTC | 3 | 0 | not tracked |
| 2026-07-19 02:07 UTC | 3 | 0 | not tracked |
| 2026-07-19 02:03 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:58 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:53 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:49 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:44 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:40 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:35 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:30 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:26 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:19 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:14 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:10 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:05 UTC | 3 | 0 | not tracked |
| 2026-07-19 01:00 UTC | 3 | 0 | not tracked |
| 2026-07-19 00:56 UTC | 3 | 0 | not tracked |
| 2026-07-19 00:51 UTC | 3 | 0 | not tracked |
| 2026-07-19 00:46 UTC | 3 | 0 | not tracked |
| 2026-07-19 00:42 UTC | 3 | 0 | not tracked |
| 2026-07-19 00:37 UTC | 3 | 0 | not tracked |
| 2026-07-19 00:32 UTC | 3 | 0 | not tracked |
| 2026-07-19 00:28 UTC | 3 | 0 | not tracked |
| 2026-07-19 00:23 UTC | 3 | 0 | not tracked |
| 2026-07-19 00:16 UTC | 3 | 0 | not tracked |
| 2026-07-19 00:11 UTC | 3 | 0 | not tracked |
| 2026-07-19 00:07 UTC | 3 | 0 | not tracked |
| 2026-07-19 00:02 UTC | 3 | 0 | not tracked |
| 2026-07-18 23:57 UTC | 3 | 0 | not tracked |
| 2026-07-18 23:53 UTC | 3 | 0 | not tracked |
| 2026-07-18 23:48 UTC | 3 | 0 | not tracked |
| 2026-07-18 23:44 UTC | 3 | 0 | not tracked |
| 2026-07-18 23:39 UTC | 3 | 0 | not tracked |
| 2026-07-18 23:34 UTC | 3 | 0 | not tracked |
| 2026-07-18 23:30 UTC | 3 | 0 | not tracked |
| 2026-07-18 23:25 UTC | 3 | 0 | not tracked |
| 2026-07-18 23:21 UTC | 3 | 0 | not tracked |
| 2026-07-18 23:13 UTC | 3 | 0 | not tracked |
| 2026-07-18 23:09 UTC | 3 | 0 | not tracked |
| 2026-07-18 23:04 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:59 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:55 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:50 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:46 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:41 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:36 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:32 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:27 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:22 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:18 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:11 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:06 UTC | 3 | 0 | not tracked |
| 2026-07-18 22:01 UTC | 3 | 0 | not tracked |
| 2026-07-18 21:57 UTC | 3 | 0 | not tracked |
| 2026-07-18 21:52 UTC | 3 | 0 | not tracked |
| 2026-07-18 21:47 UTC | 3 | 0 | not tracked |
| 2026-07-18 21:43 UTC | 3 | 0 | not tracked |
| 2026-07-18 21:38 UTC | 3 | 0 | not tracked |
| 2026-07-18 21:33 UTC | 3 | 0 | not tracked |
| 2026-07-18 21:29 UTC | 3 | 0 | not tracked |
| 2026-07-18 21:24 UTC | 3 | 0 | not tracked |
| 2026-07-18 21:19 UTC | 3 | 0 | not tracked |
| 2026-07-18 21:15 UTC | 3 | 0 | not tracked |
| 2026-07-18 21:08 UTC | 3 | 0 | not tracked |
| 2026-07-18 21:03 UTC | 3 | 0 | not tracked |
| 2026-07-18 20:58 UTC | 3 | 0 | not tracked |
| 2026-07-18 20:54 UTC | 3 | 0 | not tracked |
| 2026-07-18 20:49 UTC | 3 | 0 | not tracked |
| 2026-07-18 20:44 UTC | 3 | 0 | not tracked |
| 2026-07-18 20:40 UTC | 3 | 0 | not tracked |
| 2026-07-18 20:35 UTC | 3 | 0 | not tracked |
| 2026-07-18 20:31 UTC | 3 | 0 | not tracked |
| 2026-07-18 20:26 UTC | 3 | 0 | not tracked |
| 2026-07-18 20:21 UTC | 3 | 0 | not tracked |
| 2026-07-18 20:17 UTC | 3 | 0 | not tracked |
| 2026-07-18 20:12 UTC | 2 | 0 | not tracked |
| 2026-07-18 20:05 UTC | 2 | 0 | not tracked |
| 2026-07-18 20:00 UTC | 1 | 0 | not tracked |
| 2026-07-18 19:55 UTC | 1 | 0 | not tracked |
| 2026-07-18 19:51 UTC | 1 | 0 | not tracked |
| 2026-07-18 19:46 UTC | 1 | 0 | not tracked |