backend ok
Story history
Score and comment observations over time
Back to feed

Formal verification might solve AI's review bottleneck

HN #48,991,981 | submitted 2026-07-21 13:21 UTC | georgwiese.github.io

45 observationsby georgwiese
4 points
Latest score
0 comments
Latest comments
+3
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 4
2026-07-21 13:24 UTC2026-07-21 16:55 UTC

Comments

Range 0 to 0
2026-07-21 13:24 UTC2026-07-21 16:55 UTC

Observation history

Observation times are irregular and reflect when the tracker refreshed this story.

First 2026-07-21 13:24 UTCLatest 2026-07-21 16:55 UTC
Observed atScoreCommentsRank
2026-07-21 16:55 UTC40not tracked
2026-07-21 16:51 UTC40not tracked
2026-07-21 16:46 UTC40not tracked
2026-07-21 16:41 UTC40not tracked
2026-07-21 16:36 UTC40not tracked
2026-07-21 16:32 UTC40not tracked
2026-07-21 16:27 UTC40not tracked
2026-07-21 16:22 UTC40not tracked
2026-07-21 16:18 UTC40not tracked
2026-07-21 16:13 UTC40not tracked
2026-07-21 16:08 UTC40not tracked
2026-07-21 16:03 UTC40not tracked
2026-07-21 15:59 UTC40not tracked
2026-07-21 15:54 UTC40not tracked
2026-07-21 15:49 UTC40not tracked
2026-07-21 15:45 UTC40not tracked
2026-07-21 15:40 UTC40not tracked
2026-07-21 15:35 UTC40not tracked
2026-07-21 15:31 UTC40not tracked
2026-07-21 15:26 UTC40not tracked
2026-07-21 15:20 UTC40not tracked
2026-07-21 15:15 UTC40not tracked
2026-07-21 15:09 UTC40not tracked
2026-07-21 15:04 UTC40not tracked
2026-07-21 14:59 UTC40not tracked
2026-07-21 14:55 UTC40not tracked
2026-07-21 14:50 UTC40not tracked
2026-07-21 14:45 UTC40not tracked
2026-07-21 14:41 UTC40not tracked
2026-07-21 14:36 UTC40not tracked
2026-07-21 14:31 UTC40not tracked
2026-07-21 14:27 UTC40not tracked
2026-07-21 14:22 UTC40not tracked
2026-07-21 14:17 UTC40not tracked
2026-07-21 14:12 UTC40not tracked
2026-07-21 14:06 UTC40not tracked
2026-07-21 14:01 UTC40not tracked
2026-07-21 13:56 UTC40not tracked
2026-07-21 13:52 UTC40not tracked
2026-07-21 13:47 UTC40not tracked
2026-07-21 13:42 UTC40not tracked
2026-07-21 13:38 UTC20not tracked
2026-07-21 13:33 UTC20not tracked
2026-07-21 13:29 UTC10not tracked
2026-07-21 13:24 UTC10not tracked