backend ok
Story history
Score and comment observations over time
Can a coding agent formally verify what real-world Rust code does, in Lean 4?
HN #49,921,901 | submitted 2026-10-01 14:07 UTC | i5h.dev
47 observationsby syumei
2 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 1 to 2
2026-10-01 14:09 UTC2026-10-01 17:53 UTC
Comments
Range 0 to 0
2026-10-01 14:09 UTC2026-10-01 17:53 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-10-01 14:09 UTCLatest 2026-10-01 17:53 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-10-01 17:53 UTC | 2 | 0 | not tracked |
| 2026-10-01 17:48 UTC | 2 | 0 | not tracked |
| 2026-10-01 17:43 UTC | 2 | 0 | not tracked |
| 2026-10-01 17:39 UTC | 2 | 0 | not tracked |
| 2026-10-01 17:32 UTC | 2 | 0 | not tracked |
| 2026-10-01 17:27 UTC | 2 | 0 | not tracked |
| 2026-10-01 17:22 UTC | 2 | 0 | not tracked |
| 2026-10-01 17:18 UTC | 2 | 0 | not tracked |
| 2026-10-01 17:13 UTC | 2 | 0 | not tracked |
| 2026-10-01 17:08 UTC | 2 | 0 | not tracked |
| 2026-10-01 17:04 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:59 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:54 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:50 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:45 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:40 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:36 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:29 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:25 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:20 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:15 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:10 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:06 UTC | 2 | 0 | not tracked |
| 2026-10-01 16:01 UTC | 2 | 0 | not tracked |
| 2026-10-01 15:56 UTC | 2 | 0 | not tracked |
| 2026-10-01 15:52 UTC | 2 | 0 | not tracked |
| 2026-10-01 15:47 UTC | 2 | 0 | not tracked |
| 2026-10-01 15:42 UTC | 2 | 0 | not tracked |
| 2026-10-01 15:38 UTC | 2 | 0 | not tracked |
| 2026-10-01 15:33 UTC | 2 | 0 | not tracked |
| 2026-10-01 15:27 UTC | 2 | 0 | not tracked |
| 2026-10-01 15:22 UTC | 2 | 0 | not tracked |
| 2026-10-01 15:17 UTC | 2 | 0 | not tracked |
| 2026-10-01 15:13 UTC | 2 | 0 | not tracked |
| 2026-10-01 15:08 UTC | 2 | 0 | not tracked |
| 2026-10-01 15:03 UTC | 2 | 0 | not tracked |
| 2026-10-01 14:58 UTC | 2 | 0 | not tracked |
| 2026-10-01 14:53 UTC | 2 | 0 | not tracked |
| 2026-10-01 14:49 UTC | 2 | 0 | not tracked |
| 2026-10-01 14:44 UTC | 2 | 0 | not tracked |
| 2026-10-01 14:39 UTC | 2 | 0 | not tracked |
| 2026-10-01 14:35 UTC | 2 | 0 | not tracked |
| 2026-10-01 14:30 UTC | 2 | 0 | not tracked |
| 2026-10-01 14:23 UTC | 2 | 0 | not tracked |
| 2026-10-01 14:19 UTC | 2 | 0 | not tracked |
| 2026-10-01 14:14 UTC | 1 | 0 | not tracked |
| 2026-10-01 14:09 UTC | 1 | 0 | not tracked |