backend ok
Story history
Score and comment observations over time
A Tutorial on the Curry-Howard Correspondence [pdf]
HN #50,043,321 | submitted 2026-10-11 13:53 UTC | web.archive.org
59 observationsby rramadass
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-10-11 13:56 UTC2026-10-11 18:35 UTC
Comments
Range 0 to 0
2026-10-11 13:56 UTC2026-10-11 18:35 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-10-11 13:56 UTCLatest 2026-10-11 18:35 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-10-11 18:35 UTC | 1 | 0 | not tracked |
| 2026-10-11 18:30 UTC | 1 | 0 | not tracked |
| 2026-10-11 18:26 UTC | 1 | 0 | not tracked |
| 2026-10-11 18:21 UTC | 1 | 0 | not tracked |
| 2026-10-11 18:16 UTC | 1 | 0 | not tracked |
| 2026-10-11 18:12 UTC | 1 | 0 | not tracked |
| 2026-10-11 18:07 UTC | 1 | 0 | not tracked |
| 2026-10-11 18:02 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:58 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:51 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:46 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:42 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:37 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:32 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:27 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:23 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:18 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:14 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:09 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:04 UTC | 1 | 0 | not tracked |
| 2026-10-11 17:00 UTC | 1 | 0 | not tracked |
| 2026-10-11 16:55 UTC | 1 | 0 | not tracked |
| 2026-10-11 16:48 UTC | 1 | 0 | not tracked |
| 2026-10-11 16:43 UTC | 1 | 0 | not tracked |
| 2026-10-11 16:38 UTC | 1 | 0 | not tracked |
| 2026-10-11 16:34 UTC | 1 | 0 | not tracked |
| 2026-10-11 16:29 UTC | 1 | 0 | not tracked |
| 2026-10-11 16:25 UTC | 1 | 0 | not tracked |
| 2026-10-11 16:20 UTC | 1 | 0 | not tracked |
| 2026-10-11 16:15 UTC | 1 | 0 | not tracked |
| 2026-10-11 16:11 UTC | 1 | 0 | not tracked |
| 2026-10-11 16:06 UTC | 1 | 0 | not tracked |
| 2026-10-11 16:02 UTC | 1 | 0 | not tracked |
| 2026-10-11 15:57 UTC | 1 | 0 | not tracked |
| 2026-10-11 15:52 UTC | 1 | 0 | not tracked |
| 2026-10-11 15:46 UTC | 1 | 0 | not tracked |
| 2026-10-11 15:41 UTC | 1 | 0 | not tracked |
| 2026-10-11 15:36 UTC | 1 | 0 | not tracked |
| 2026-10-11 15:32 UTC | 1 | 0 | not tracked |
| 2026-10-11 15:27 UTC | 1 | 0 | not tracked |
| 2026-10-11 15:22 UTC | 1 | 0 | not tracked |
| 2026-10-11 15:18 UTC | 1 | 0 | not tracked |
| 2026-10-11 15:13 UTC | 1 | 0 | not tracked |
| 2026-10-11 15:08 UTC | 1 | 0 | not tracked |
| 2026-10-11 15:03 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:59 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:54 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:49 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:42 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:37 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:33 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:28 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:23 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:19 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:14 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:10 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:05 UTC | 1 | 0 | not tracked |
| 2026-10-11 14:00 UTC | 1 | 0 | not tracked |
| 2026-10-11 13:56 UTC | 1 | 0 | not tracked |