backend ok
Story history
Score and comment observations over time
SeL4 security proofs now complete on AArch64
HN #49,418,255 | submitted 2026-08-24 11:32 UTC | proofcraft.systems
50 observationsby snvzz
102 points
Latest score
25 comments
Latest comments
+101
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 102
2026-08-24 11:35 UTC2026-08-24 15:32 UTC
Comments
Range 0 to 25
2026-08-24 11:35 UTC2026-08-24 15:32 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-08-24 11:35 UTCLatest 2026-08-24 15:32 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-08-24 15:32 UTC | 102 | 25 | not tracked |
| 2026-08-24 15:27 UTC | 102 | 25 | not tracked |
| 2026-08-24 15:23 UTC | 101 | 25 | not tracked |
| 2026-08-24 15:18 UTC | 101 | 25 | not tracked |
| 2026-08-24 15:13 UTC | 101 | 23 | not tracked |
| 2026-08-24 15:09 UTC | 100 | 22 | not tracked |
| 2026-08-24 15:04 UTC | 96 | 21 | not tracked |
| 2026-08-24 14:59 UTC | 95 | 21 | not tracked |
| 2026-08-24 14:52 UTC | 92 | 20 | not tracked |
| 2026-08-24 14:48 UTC | 89 | 20 | not tracked |
| 2026-08-24 14:43 UTC | 88 | 19 | not tracked |
| 2026-08-24 14:38 UTC | 87 | 19 | not tracked |
| 2026-08-24 14:34 UTC | 83 | 19 | not tracked |
| 2026-08-24 14:29 UTC | 81 | 18 | not tracked |
| 2026-08-24 14:25 UTC | 81 | 16 | not tracked |
| 2026-08-24 14:20 UTC | 79 | 16 | not tracked |
| 2026-08-24 14:15 UTC | 78 | 16 | not tracked |
| 2026-08-24 14:11 UTC | 77 | 16 | not tracked |
| 2026-08-24 14:06 UTC | 75 | 16 | not tracked |
| 2026-08-24 14:01 UTC | 73 | 16 | not tracked |
| 2026-08-24 13:57 UTC | 71 | 16 | not tracked |
| 2026-08-24 13:49 UTC | 66 | 16 | not tracked |
| 2026-08-24 13:44 UTC | 65 | 15 | not tracked |
| 2026-08-24 13:40 UTC | 64 | 15 | not tracked |
| 2026-08-24 13:35 UTC | 64 | 15 | not tracked |
| 2026-08-24 13:31 UTC | 61 | 15 | not tracked |
| 2026-08-24 13:26 UTC | 59 | 14 | not tracked |
| 2026-08-24 13:21 UTC | 56 | 13 | not tracked |
| 2026-08-24 13:17 UTC | 54 | 11 | not tracked |
| 2026-08-24 13:12 UTC | 53 | 11 | not tracked |
| 2026-08-24 13:08 UTC | 49 | 11 | not tracked |
| 2026-08-24 13:03 UTC | 45 | 9 | not tracked |
| 2026-08-24 12:58 UTC | 40 | 9 | not tracked |
| 2026-08-24 12:54 UTC | 38 | 9 | not tracked |
| 2026-08-24 12:46 UTC | 35 | 7 | not tracked |
| 2026-08-24 12:42 UTC | 32 | 4 | not tracked |
| 2026-08-24 12:37 UTC | 30 | 4 | not tracked |
| 2026-08-24 12:32 UTC | 27 | 2 | not tracked |
| 2026-08-24 12:28 UTC | 22 | 2 | not tracked |
| 2026-08-24 12:23 UTC | 17 | 1 | not tracked |
| 2026-08-24 12:19 UTC | 9 | 0 | not tracked |
| 2026-08-24 12:14 UTC | 5 | 0 | not tracked |
| 2026-08-24 12:09 UTC | 3 | 0 | not tracked |
| 2026-08-24 12:05 UTC | 2 | 0 | not tracked |
| 2026-08-24 12:00 UTC | 2 | 0 | not tracked |
| 2026-08-24 11:55 UTC | 2 | 0 | not tracked |
| 2026-08-24 11:51 UTC | 1 | 0 | not tracked |
| 2026-08-24 11:44 UTC | 1 | 0 | not tracked |
| 2026-08-24 11:40 UTC | 1 | 0 | not tracked |
| 2026-08-24 11:35 UTC | 1 | 0 | not tracked |