backend ok
Story history
Score and comment observations over time
Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects
HN #49,092,730 | submitted 2026-07-29 02:22 UTC | github.com
110 observationsby kbradero
15 points
Latest score
2 comments
Latest comments
+14
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 15
2026-07-29 02:27 UTC2026-07-29 10:49 UTC
Comments
Range 0 to 2
2026-07-29 02:27 UTC2026-07-29 10:49 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-29 02:27 UTCLatest 2026-07-29 10:49 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-29 10:49 UTC | 15 | 2 | not tracked |
| 2026-07-29 10:44 UTC | 15 | 2 | not tracked |
| 2026-07-29 10:39 UTC | 15 | 2 | not tracked |
| 2026-07-29 10:35 UTC | 15 | 2 | not tracked |
| 2026-07-29 10:30 UTC | 15 | 2 | not tracked |
| 2026-07-29 10:26 UTC | 15 | 2 | not tracked |
| 2026-07-29 10:21 UTC | 15 | 2 | not tracked |
| 2026-07-29 10:16 UTC | 15 | 2 | not tracked |
| 2026-07-29 10:12 UTC | 14 | 2 | not tracked |
| 2026-07-29 10:07 UTC | 14 | 2 | not tracked |
| 2026-07-29 10:03 UTC | 14 | 2 | not tracked |
| 2026-07-29 09:58 UTC | 14 | 2 | not tracked |
| 2026-07-29 09:54 UTC | 14 | 2 | not tracked |
| 2026-07-29 09:49 UTC | 14 | 2 | not tracked |
| 2026-07-29 09:44 UTC | 14 | 2 | not tracked |
| 2026-07-29 09:40 UTC | 14 | 2 | not tracked |
| 2026-07-29 09:35 UTC | 14 | 2 | not tracked |
| 2026-07-29 09:31 UTC | 14 | 2 | not tracked |
| 2026-07-29 09:26 UTC | 14 | 2 | not tracked |
| 2026-07-29 09:21 UTC | 14 | 2 | not tracked |
| 2026-07-29 09:17 UTC | 14 | 2 | not tracked |
| 2026-07-29 09:12 UTC | 14 | 2 | not tracked |
| 2026-07-29 09:08 UTC | 13 | 2 | not tracked |
| 2026-07-29 09:03 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:58 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:54 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:49 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:45 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:40 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:35 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:31 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:26 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:22 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:17 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:12 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:08 UTC | 13 | 2 | not tracked |
| 2026-07-29 08:03 UTC | 13 | 2 | not tracked |
| 2026-07-29 07:59 UTC | 13 | 2 | not tracked |
| 2026-07-29 07:54 UTC | 13 | 2 | not tracked |
| 2026-07-29 07:50 UTC | 13 | 2 | not tracked |
| 2026-07-29 07:45 UTC | 13 | 2 | not tracked |
| 2026-07-29 07:40 UTC | 12 | 2 | not tracked |
| 2026-07-29 07:36 UTC | 12 | 2 | not tracked |
| 2026-07-29 07:31 UTC | 12 | 2 | not tracked |
| 2026-07-29 07:27 UTC | 12 | 2 | not tracked |
| 2026-07-29 07:22 UTC | 12 | 2 | not tracked |
| 2026-07-29 07:17 UTC | 12 | 2 | not tracked |
| 2026-07-29 07:13 UTC | 12 | 2 | not tracked |
| 2026-07-29 07:08 UTC | 12 | 2 | not tracked |
| 2026-07-29 07:04 UTC | 12 | 2 | not tracked |
| 2026-07-29 06:59 UTC | 12 | 2 | not tracked |
| 2026-07-29 06:55 UTC | 12 | 2 | not tracked |
| 2026-07-29 06:50 UTC | 12 | 2 | not tracked |
| 2026-07-29 06:45 UTC | 12 | 2 | not tracked |
| 2026-07-29 06:41 UTC | 11 | 2 | not tracked |
| 2026-07-29 06:36 UTC | 11 | 2 | not tracked |
| 2026-07-29 06:31 UTC | 11 | 2 | not tracked |
| 2026-07-29 06:27 UTC | 11 | 2 | not tracked |
| 2026-07-29 06:22 UTC | 11 | 2 | not tracked |
| 2026-07-29 06:18 UTC | 11 | 2 | not tracked |
| 2026-07-29 06:13 UTC | 11 | 2 | not tracked |
| 2026-07-29 06:08 UTC | 11 | 2 | not tracked |
| 2026-07-29 06:04 UTC | 11 | 2 | not tracked |
| 2026-07-29 05:59 UTC | 11 | 2 | not tracked |
| 2026-07-29 05:54 UTC | 11 | 2 | not tracked |
| 2026-07-29 05:50 UTC | 11 | 2 | not tracked |
| 2026-07-29 05:45 UTC | 11 | 2 | not tracked |
| 2026-07-29 05:40 UTC | 11 | 2 | not tracked |
| 2026-07-29 05:36 UTC | 11 | 1 | not tracked |
| 2026-07-29 05:31 UTC | 11 | 1 | not tracked |
| 2026-07-29 05:27 UTC | 11 | 1 | not tracked |
| 2026-07-29 05:22 UTC | 11 | 1 | not tracked |
| 2026-07-29 05:17 UTC | 11 | 1 | not tracked |
| 2026-07-29 05:13 UTC | 11 | 1 | not tracked |
| 2026-07-29 05:08 UTC | 10 | 1 | not tracked |
| 2026-07-29 05:04 UTC | 10 | 1 | not tracked |
| 2026-07-29 04:59 UTC | 9 | 0 | not tracked |
| 2026-07-29 04:54 UTC | 9 | 0 | not tracked |
| 2026-07-29 04:50 UTC | 9 | 0 | not tracked |
| 2026-07-29 04:45 UTC | 8 | 0 | not tracked |
| 2026-07-29 04:41 UTC | 8 | 0 | not tracked |
| 2026-07-29 04:36 UTC | 8 | 0 | not tracked |
| 2026-07-29 04:31 UTC | 7 | 0 | not tracked |
| 2026-07-29 04:27 UTC | 7 | 0 | not tracked |
| 2026-07-29 04:22 UTC | 7 | 0 | not tracked |
| 2026-07-29 04:18 UTC | 6 | 0 | not tracked |
| 2026-07-29 04:13 UTC | 6 | 0 | not tracked |
| 2026-07-29 04:08 UTC | 6 | 0 | not tracked |
| 2026-07-29 04:04 UTC | 6 | 0 | not tracked |
| 2026-07-29 03:59 UTC | 6 | 0 | not tracked |
| 2026-07-29 03:55 UTC | 6 | 0 | not tracked |
| 2026-07-29 03:50 UTC | 6 | 0 | not tracked |
| 2026-07-29 03:45 UTC | 6 | 0 | not tracked |
| 2026-07-29 03:40 UTC | 6 | 0 | not tracked |
| 2026-07-29 03:36 UTC | 6 | 0 | not tracked |
| 2026-07-29 03:31 UTC | 6 | 0 | not tracked |
| 2026-07-29 03:27 UTC | 5 | 0 | not tracked |
| 2026-07-29 03:22 UTC | 3 | 0 | not tracked |
| 2026-07-29 03:17 UTC | 3 | 0 | not tracked |
| 2026-07-29 03:13 UTC | 3 | 0 | not tracked |
| 2026-07-29 03:08 UTC | 3 | 0 | not tracked |
| 2026-07-29 03:04 UTC | 2 | 0 | not tracked |
| 2026-07-29 02:59 UTC | 2 | 0 | not tracked |
| 2026-07-29 02:55 UTC | 2 | 0 | not tracked |
| 2026-07-29 02:50 UTC | 1 | 0 | not tracked |
| 2026-07-29 02:45 UTC | 1 | 0 | not tracked |
| 2026-07-29 02:41 UTC | 1 | 0 | not tracked |
| 2026-07-29 02:36 UTC | 1 | 0 | not tracked |
| 2026-07-29 02:32 UTC | 1 | 0 | not tracked |
| 2026-07-29 02:27 UTC | 1 | 0 | not tracked |