backend ok
Story history
Score and comment observations over time
LeanLLM: An LLM SDK for applications written in Lean 4
HN #50,082,909 | submitted 2026-10-14 05:46 UTC | github.com
70 observationsby hargup
1 points
Latest score
0 comments
Latest comments
0
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 1
2026-10-14 05:47 UTC2026-10-14 11:21 UTC
Comments
Range 0 to 0
2026-10-14 05:47 UTC2026-10-14 11:21 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-10-14 05:47 UTCLatest 2026-10-14 11:21 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-10-14 11:21 UTC | 1 | 0 | not tracked |
| 2026-10-14 11:16 UTC | 1 | 0 | not tracked |
| 2026-10-14 11:12 UTC | 1 | 0 | not tracked |
| 2026-10-14 11:07 UTC | 1 | 0 | not tracked |
| 2026-10-14 11:02 UTC | 1 | 0 | not tracked |
| 2026-10-14 10:55 UTC | 1 | 0 | not tracked |
| 2026-10-14 10:50 UTC | 1 | 0 | not tracked |
| 2026-10-14 10:46 UTC | 1 | 0 | not tracked |
| 2026-10-14 10:41 UTC | 1 | 0 | not tracked |
| 2026-10-14 10:36 UTC | 1 | 0 | not tracked |
| 2026-10-14 10:32 UTC | 1 | 0 | not tracked |
| 2026-10-14 10:27 UTC | 1 | 0 | not tracked |
| 2026-10-14 10:22 UTC | 1 | 0 | not tracked |
| 2026-10-14 10:18 UTC | 1 | 0 | not tracked |
| 2026-10-14 10:13 UTC | 1 | 0 | not tracked |
| 2026-10-14 10:08 UTC | 1 | 0 | not tracked |
| 2026-10-14 10:04 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:59 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:52 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:47 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:42 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:38 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:33 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:29 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:24 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:19 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:15 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:10 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:06 UTC | 1 | 0 | not tracked |
| 2026-10-14 09:01 UTC | 1 | 0 | not tracked |
| 2026-10-14 08:56 UTC | 1 | 0 | not tracked |
| 2026-10-14 08:49 UTC | 1 | 0 | not tracked |
| 2026-10-14 08:44 UTC | 1 | 0 | not tracked |
| 2026-10-14 08:39 UTC | 1 | 0 | not tracked |
| 2026-10-14 08:35 UTC | 1 | 0 | not tracked |
| 2026-10-14 08:30 UTC | 1 | 0 | not tracked |
| 2026-10-14 08:26 UTC | 1 | 0 | not tracked |
| 2026-10-14 08:21 UTC | 1 | 0 | not tracked |
| 2026-10-14 08:16 UTC | 1 | 0 | not tracked |
| 2026-10-14 08:12 UTC | 1 | 0 | not tracked |
| 2026-10-14 08:07 UTC | 1 | 0 | not tracked |
| 2026-10-14 08:03 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:58 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:53 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:46 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:41 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:37 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:32 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:27 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:23 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:18 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:14 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:09 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:04 UTC | 1 | 0 | not tracked |
| 2026-10-14 07:00 UTC | 1 | 0 | not tracked |
| 2026-10-14 06:55 UTC | 1 | 0 | not tracked |
| 2026-10-14 06:50 UTC | 1 | 0 | not tracked |
| 2026-10-14 06:43 UTC | 1 | 0 | not tracked |
| 2026-10-14 06:38 UTC | 1 | 0 | not tracked |
| 2026-10-14 06:34 UTC | 1 | 0 | not tracked |
| 2026-10-14 06:29 UTC | 1 | 0 | not tracked |
| 2026-10-14 06:25 UTC | 1 | 0 | not tracked |
| 2026-10-14 06:20 UTC | 1 | 0 | not tracked |
| 2026-10-14 06:15 UTC | 1 | 0 | not tracked |
| 2026-10-14 06:11 UTC | 1 | 0 | not tracked |
| 2026-10-14 06:06 UTC | 1 | 0 | not tracked |
| 2026-10-14 06:02 UTC | 1 | 0 | not tracked |
| 2026-10-14 05:57 UTC | 1 | 0 | not tracked |
| 2026-10-14 05:52 UTC | 1 | 0 | not tracked |
| 2026-10-14 05:47 UTC | 1 | 0 | not tracked |