backend ok
Story history
Score and comment observations over time
Ask HN: Can we translate normal Rust (axum) to Lean 4 without restrictions?
HN #49,880,807 | submitted 2026-09-28 16:42 UTC
44 observationsby syumei
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-09-28 16:50 UTC2026-09-28 20:16 UTC
Comments
Range 0 to 0
2026-09-28 16:50 UTC2026-09-28 20:16 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-09-28 16:50 UTCLatest 2026-09-28 20:16 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-09-28 20:16 UTC | 3 | 0 | not tracked |
| 2026-09-28 20:12 UTC | 3 | 0 | not tracked |
| 2026-09-28 20:07 UTC | 3 | 0 | not tracked |
| 2026-09-28 20:02 UTC | 3 | 0 | not tracked |
| 2026-09-28 19:58 UTC | 3 | 0 | not tracked |
| 2026-09-28 19:53 UTC | 3 | 0 | not tracked |
| 2026-09-28 19:48 UTC | 3 | 0 | not tracked |
| 2026-09-28 19:44 UTC | 3 | 0 | not tracked |
| 2026-09-28 19:39 UTC | 3 | 0 | not tracked |
| 2026-09-28 19:34 UTC | 3 | 0 | not tracked |
| 2026-09-28 19:30 UTC | 3 | 0 | not tracked |
| 2026-09-28 19:25 UTC | 3 | 0 | not tracked |
| 2026-09-28 19:20 UTC | 3 | 0 | not tracked |
| 2026-09-28 19:14 UTC | 3 | 0 | not tracked |
| 2026-09-28 19:09 UTC | 3 | 0 | not tracked |
| 2026-09-28 19:04 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:59 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:55 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:50 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:45 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:41 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:36 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:31 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:27 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:22 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:17 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:11 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:06 UTC | 3 | 0 | not tracked |
| 2026-09-28 18:02 UTC | 3 | 0 | not tracked |
| 2026-09-28 17:57 UTC | 3 | 0 | not tracked |
| 2026-09-28 17:52 UTC | 3 | 0 | not tracked |
| 2026-09-28 17:48 UTC | 3 | 0 | not tracked |
| 2026-09-28 17:43 UTC | 3 | 0 | not tracked |
| 2026-09-28 17:38 UTC | 3 | 0 | not tracked |
| 2026-09-28 17:33 UTC | 3 | 0 | not tracked |
| 2026-09-28 17:29 UTC | 3 | 0 | not tracked |
| 2026-09-28 17:24 UTC | 3 | 0 | not tracked |
| 2026-09-28 17:19 UTC | 3 | 0 | not tracked |
| 2026-09-28 17:15 UTC | 2 | 0 | not tracked |
| 2026-09-28 17:08 UTC | 2 | 0 | not tracked |
| 2026-09-28 17:04 UTC | 2 | 0 | not tracked |
| 2026-09-28 16:59 UTC | 2 | 0 | not tracked |
| 2026-09-28 16:54 UTC | 2 | 0 | not tracked |
| 2026-09-28 16:50 UTC | 2 | 0 | not tracked |