backend ok
Story history
Score and comment observations over time
Principles of dependent type theory [pdf]
HN #49,407,114 | submitted 2026-08-23 08:42 UTC | danielgratzer.com
97 observationsby fanf2
3 points
Latest score
0 comments
Latest comments
+1
Score change
Rank history is not tracked yet in the current dataset, so this first slice focuses on score and comment movement.
Score
Range 2 to 3
2026-08-23 08:48 UTC2026-08-23 16:24 UTC
Comments
Range 0 to 0
2026-08-23 08:48 UTC2026-08-23 16:24 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-08-23 08:48 UTCLatest 2026-08-23 16:24 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-08-23 16:24 UTC | 3 | 0 | not tracked |
| 2026-08-23 16:19 UTC | 3 | 0 | not tracked |
| 2026-08-23 16:14 UTC | 3 | 0 | not tracked |
| 2026-08-23 16:10 UTC | 3 | 0 | not tracked |
| 2026-08-23 16:05 UTC | 3 | 0 | not tracked |
| 2026-08-23 16:00 UTC | 3 | 0 | not tracked |
| 2026-08-23 15:56 UTC | 3 | 0 | not tracked |
| 2026-08-23 15:51 UTC | 3 | 0 | not tracked |
| 2026-08-23 15:44 UTC | 3 | 0 | not tracked |
| 2026-08-23 15:39 UTC | 3 | 0 | not tracked |
| 2026-08-23 15:34 UTC | 3 | 0 | not tracked |
| 2026-08-23 15:30 UTC | 3 | 0 | not tracked |
| 2026-08-23 15:25 UTC | 3 | 0 | not tracked |
| 2026-08-23 15:21 UTC | 3 | 0 | not tracked |
| 2026-08-23 15:16 UTC | 3 | 0 | not tracked |
| 2026-08-23 15:11 UTC | 3 | 0 | not tracked |
| 2026-08-23 15:07 UTC | 3 | 0 | not tracked |
| 2026-08-23 15:02 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:57 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:53 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:48 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:42 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:37 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:33 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:28 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:23 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:19 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:14 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:10 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:05 UTC | 3 | 0 | not tracked |
| 2026-08-23 14:00 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:56 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:51 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:46 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:42 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:37 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:32 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:28 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:23 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:19 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:14 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:09 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:05 UTC | 3 | 0 | not tracked |
| 2026-08-23 13:00 UTC | 3 | 0 | not tracked |
| 2026-08-23 12:56 UTC | 3 | 0 | not tracked |
| 2026-08-23 12:51 UTC | 3 | 0 | not tracked |
| 2026-08-23 12:46 UTC | 3 | 0 | not tracked |
| 2026-08-23 12:42 UTC | 3 | 0 | not tracked |
| 2026-08-23 12:35 UTC | 3 | 0 | not tracked |
| 2026-08-23 12:30 UTC | 3 | 0 | not tracked |
| 2026-08-23 12:26 UTC | 3 | 0 | not tracked |
| 2026-08-23 12:21 UTC | 3 | 0 | not tracked |
| 2026-08-23 12:17 UTC | 3 | 0 | not tracked |
| 2026-08-23 12:12 UTC | 3 | 0 | not tracked |
| 2026-08-23 12:07 UTC | 3 | 0 | not tracked |
| 2026-08-23 12:03 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:58 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:54 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:49 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:45 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:40 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:35 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:31 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:26 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:22 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:17 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:12 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:08 UTC | 3 | 0 | not tracked |
| 2026-08-23 11:03 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:59 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:54 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:49 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:45 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:40 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:36 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:28 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:24 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:19 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:14 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:10 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:05 UTC | 3 | 0 | not tracked |
| 2026-08-23 10:00 UTC | 3 | 0 | not tracked |
| 2026-08-23 09:56 UTC | 3 | 0 | not tracked |
| 2026-08-23 09:51 UTC | 3 | 0 | not tracked |
| 2026-08-23 09:47 UTC | 3 | 0 | not tracked |
| 2026-08-23 09:42 UTC | 3 | 0 | not tracked |
| 2026-08-23 09:37 UTC | 3 | 0 | not tracked |
| 2026-08-23 09:33 UTC | 3 | 0 | not tracked |
| 2026-08-23 09:25 UTC | 2 | 0 | not tracked |
| 2026-08-23 09:20 UTC | 2 | 0 | not tracked |
| 2026-08-23 09:16 UTC | 2 | 0 | not tracked |
| 2026-08-23 09:11 UTC | 2 | 0 | not tracked |
| 2026-08-23 09:07 UTC | 2 | 0 | not tracked |
| 2026-08-23 09:02 UTC | 2 | 0 | not tracked |
| 2026-08-23 08:57 UTC | 2 | 0 | not tracked |
| 2026-08-23 08:53 UTC | 2 | 0 | not tracked |
| 2026-08-23 08:48 UTC | 2 | 0 | not tracked |