backend ok
Story history
Score and comment observations over time
Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean
HN #49,224,241 | submitted 2026-08-08 18:04 UTC | github.com
82 observationsby modinfo
5 points
Latest score
0 comments
Latest comments
+4
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 5
2026-08-08 18:08 UTC2026-08-09 00:35 UTC
Comments
Range 0 to 0
2026-08-08 18:08 UTC2026-08-09 00:35 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-08-08 18:08 UTCLatest 2026-08-09 00:35 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-08-09 00:35 UTC | 5 | 0 | not tracked |
| 2026-08-09 00:31 UTC | 5 | 0 | not tracked |
| 2026-08-09 00:26 UTC | 5 | 0 | not tracked |
| 2026-08-09 00:21 UTC | 5 | 0 | not tracked |
| 2026-08-09 00:17 UTC | 5 | 0 | not tracked |
| 2026-08-09 00:12 UTC | 5 | 0 | not tracked |
| 2026-08-09 00:08 UTC | 5 | 0 | not tracked |
| 2026-08-09 00:03 UTC | 5 | 0 | not tracked |
| 2026-08-08 23:58 UTC | 5 | 0 | not tracked |
| 2026-08-08 23:54 UTC | 5 | 0 | not tracked |
| 2026-08-08 23:49 UTC | 5 | 0 | not tracked |
| 2026-08-08 23:45 UTC | 5 | 0 | not tracked |
| 2026-08-08 23:40 UTC | 5 | 0 | not tracked |
| 2026-08-08 23:35 UTC | 5 | 0 | not tracked |
| 2026-08-08 23:31 UTC | 5 | 0 | not tracked |
| 2026-08-08 23:26 UTC | 4 | 0 | not tracked |
| 2026-08-08 23:22 UTC | 4 | 0 | not tracked |
| 2026-08-08 23:17 UTC | 4 | 0 | not tracked |
| 2026-08-08 23:12 UTC | 4 | 0 | not tracked |
| 2026-08-08 23:08 UTC | 4 | 0 | not tracked |
| 2026-08-08 23:03 UTC | 4 | 0 | not tracked |
| 2026-08-08 22:56 UTC | 4 | 0 | not tracked |
| 2026-08-08 22:51 UTC | 4 | 0 | not tracked |
| 2026-08-08 22:47 UTC | 4 | 0 | not tracked |
| 2026-08-08 22:42 UTC | 4 | 0 | not tracked |
| 2026-08-08 22:38 UTC | 4 | 0 | not tracked |
| 2026-08-08 22:33 UTC | 3 | 0 | not tracked |
| 2026-08-08 22:28 UTC | 3 | 0 | not tracked |
| 2026-08-08 22:24 UTC | 3 | 0 | not tracked |
| 2026-08-08 22:19 UTC | 3 | 0 | not tracked |
| 2026-08-08 22:15 UTC | 3 | 0 | not tracked |
| 2026-08-08 22:10 UTC | 3 | 0 | not tracked |
| 2026-08-08 22:05 UTC | 3 | 0 | not tracked |
| 2026-08-08 22:00 UTC | 3 | 0 | not tracked |
| 2026-08-08 21:53 UTC | 3 | 0 | not tracked |
| 2026-08-08 21:49 UTC | 3 | 0 | not tracked |
| 2026-08-08 21:44 UTC | 3 | 0 | not tracked |
| 2026-08-08 21:40 UTC | 3 | 0 | not tracked |
| 2026-08-08 21:35 UTC | 3 | 0 | not tracked |
| 2026-08-08 21:30 UTC | 3 | 0 | not tracked |
| 2026-08-08 21:26 UTC | 3 | 0 | not tracked |
| 2026-08-08 21:21 UTC | 3 | 0 | not tracked |
| 2026-08-08 21:17 UTC | 3 | 0 | not tracked |
| 2026-08-08 21:12 UTC | 3 | 0 | not tracked |
| 2026-08-08 21:07 UTC | 3 | 0 | not tracked |
| 2026-08-08 21:03 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:58 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:50 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:46 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:41 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:37 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:32 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:27 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:23 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:18 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:14 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:09 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:04 UTC | 3 | 0 | not tracked |
| 2026-08-08 20:00 UTC | 3 | 0 | not tracked |
| 2026-08-08 19:55 UTC | 3 | 0 | not tracked |
| 2026-08-08 19:49 UTC | 3 | 0 | not tracked |
| 2026-08-08 19:44 UTC | 3 | 0 | not tracked |
| 2026-08-08 19:39 UTC | 3 | 0 | not tracked |
| 2026-08-08 19:35 UTC | 3 | 0 | not tracked |
| 2026-08-08 19:30 UTC | 3 | 0 | not tracked |
| 2026-08-08 19:25 UTC | 3 | 0 | not tracked |
| 2026-08-08 19:21 UTC | 3 | 0 | not tracked |
| 2026-08-08 19:16 UTC | 3 | 0 | not tracked |
| 2026-08-08 19:11 UTC | 2 | 0 | not tracked |
| 2026-08-08 19:06 UTC | 2 | 0 | not tracked |
| 2026-08-08 19:02 UTC | 2 | 0 | not tracked |
| 2026-08-08 18:57 UTC | 2 | 0 | not tracked |
| 2026-08-08 18:53 UTC | 2 | 0 | not tracked |
| 2026-08-08 18:45 UTC | 2 | 0 | not tracked |
| 2026-08-08 18:40 UTC | 2 | 0 | not tracked |
| 2026-08-08 18:36 UTC | 2 | 0 | not tracked |
| 2026-08-08 18:31 UTC | 2 | 0 | not tracked |
| 2026-08-08 18:26 UTC | 2 | 0 | not tracked |
| 2026-08-08 18:22 UTC | 2 | 0 | not tracked |
| 2026-08-08 18:17 UTC | 2 | 0 | not tracked |
| 2026-08-08 18:13 UTC | 2 | 0 | not tracked |
| 2026-08-08 18:08 UTC | 1 | 0 | not tracked |