backend ok
Story history
Score and comment observations over time
Type checker may be wrong – Lean and the Curry-Howard correspondence
HN #49,046,983 | submitted 2026-07-25 12:21 UTC | max-amb.github.io
72 observationsby max-amb
2 points
Latest score
1 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 1 to 2
2026-07-25 12:25 UTC2026-07-25 18:01 UTC
Comments
Range 0 to 1
2026-07-25 12:25 UTC2026-07-25 18:01 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-25 12:25 UTCLatest 2026-07-25 18:01 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-25 18:01 UTC | 2 | 1 | not tracked |
| 2026-07-25 17:56 UTC | 2 | 1 | not tracked |
| 2026-07-25 17:51 UTC | 2 | 1 | not tracked |
| 2026-07-25 17:45 UTC | 2 | 1 | not tracked |
| 2026-07-25 17:41 UTC | 2 | 1 | not tracked |
| 2026-07-25 17:36 UTC | 2 | 1 | not tracked |
| 2026-07-25 17:31 UTC | 1 | 1 | not tracked |
| 2026-07-25 17:27 UTC | 1 | 1 | not tracked |
| 2026-07-25 17:22 UTC | 1 | 1 | not tracked |
| 2026-07-25 17:18 UTC | 1 | 1 | not tracked |
| 2026-07-25 17:13 UTC | 1 | 1 | not tracked |
| 2026-07-25 17:08 UTC | 1 | 1 | not tracked |
| 2026-07-25 17:04 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:59 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:54 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:50 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:45 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:41 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:36 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:31 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:27 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:22 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:18 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:13 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:08 UTC | 1 | 1 | not tracked |
| 2026-07-25 16:04 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:59 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:55 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:50 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:45 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:39 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:34 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:29 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:24 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:20 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:15 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:10 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:06 UTC | 1 | 1 | not tracked |
| 2026-07-25 15:01 UTC | 1 | 1 | not tracked |
| 2026-07-25 14:56 UTC | 1 | 1 | not tracked |
| 2026-07-25 14:52 UTC | 1 | 1 | not tracked |
| 2026-07-25 14:47 UTC | 1 | 1 | not tracked |
| 2026-07-25 14:43 UTC | 1 | 1 | not tracked |
| 2026-07-25 14:36 UTC | 1 | 1 | not tracked |
| 2026-07-25 14:31 UTC | 1 | 1 | not tracked |
| 2026-07-25 14:27 UTC | 1 | 1 | not tracked |
| 2026-07-25 14:22 UTC | 1 | 1 | not tracked |
| 2026-07-25 14:17 UTC | 1 | 1 | not tracked |
| 2026-07-25 14:13 UTC | 1 | 1 | not tracked |
| 2026-07-25 14:08 UTC | 1 | 1 | not tracked |
| 2026-07-25 14:04 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:59 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:54 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:50 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:45 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:41 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:36 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:31 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:27 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:22 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:18 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:13 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:08 UTC | 1 | 1 | not tracked |
| 2026-07-25 13:04 UTC | 1 | 1 | not tracked |
| 2026-07-25 12:59 UTC | 1 | 1 | not tracked |
| 2026-07-25 12:55 UTC | 1 | 1 | not tracked |
| 2026-07-25 12:50 UTC | 1 | 1 | not tracked |
| 2026-07-25 12:45 UTC | 1 | 1 | not tracked |
| 2026-07-25 12:41 UTC | 1 | 1 | not tracked |
| 2026-07-25 12:36 UTC | 1 | 1 | not tracked |
| 2026-07-25 12:29 UTC | 1 | 0 | not tracked |
| 2026-07-25 12:25 UTC | 1 | 0 | not tracked |