← Back to radar

Observation record / Hacker News

Lean now ships with verified kernels

First seen 10/18, 10:06 · Last observed 10/19, 03:01 · Source data is current

Read the original source ↗

Title-based outlineLean now ships with verified kernels

Why it mattersA discussion on this source’s current list. Verify details in the original; rank does not establish reliability.

This content was published earlier. Fetch success does not imply freshness.

Published 10/16, 14:16

30 minutesRank movement—

Building history

1 hourRank movement—

Building history

24 hoursRank movement—

Building history

Source rank history

100 observations

Building history; no inferred heat score.

Official public API · linked titles only· Author matt_d

View original observation times and ranks

Observation time (Beijing)	Source position
10/19, 03:01	30
10/19, 02:31	30
10/19, 02:21	27
10/19, 02:11	27
10/19, 02:01	29
10/19, 01:51	28
10/19, 01:40	29
10/19, 01:30	27
10/19, 01:20	27
10/19, 01:10	27
10/19, 01:00	26
10/19, 00:50	25
10/19, 00:40	25
10/19, 00:30	23
10/19, 00:20	26
10/19, 00:10	24
10/19, 00:00	26
10/18, 23:50	26
10/18, 23:40	25
10/18, 23:30	23
10/18, 23:20	21
10/18, 23:10	18
10/18, 23:00	16
10/18, 22:50	15
10/18, 22:40	15
10/18, 22:30	12
10/18, 22:20	12
10/18, 22:10	12
10/18, 22:00	10
10/18, 21:49	10
10/18, 21:39	10
10/18, 21:29	10
10/18, 21:19	10
10/18, 21:09	10
10/18, 20:59	10
10/18, 20:49	10
10/18, 20:39	10
10/18, 20:29	9
10/18, 20:19	9
10/18, 20:09	8
10/18, 19:59	8
10/18, 19:49	8
10/18, 19:39	8
10/18, 19:29	9
10/18, 19:19	6
10/18, 19:09	7
10/18, 18:59	7
10/18, 18:49	6
10/18, 18:39	6
10/18, 18:29	6
10/18, 18:18	6
10/18, 18:08	5
10/18, 17:58	5
10/18, 17:48	6
10/18, 17:38	5
10/18, 17:28	5
10/18, 17:18	5
10/18, 17:08	5
10/18, 16:58	5
10/18, 16:48	5
10/18, 16:38	5
10/18, 16:28	5
10/18, 16:18	5
10/18, 16:08	5
10/18, 15:58	5
10/18, 15:48	6
10/18, 15:38	6
10/18, 15:28	6
10/18, 15:18	6
10/18, 15:08	5
10/18, 14:58	5
10/18, 14:48	6
10/18, 14:38	5
10/18, 14:27	5
10/18, 14:17	5
10/18, 14:07	3
10/18, 13:57	3
10/18, 13:47	3
10/18, 13:37	3
10/18, 13:27	3
10/18, 13:17	3
10/18, 13:07	3
10/18, 12:57	3
10/18, 12:47	3
10/18, 12:37	2
10/18, 12:27	2
10/18, 12:17	2
10/18, 12:07	2
10/18, 11:57	2
10/18, 11:47	2
10/18, 11:37	2
10/18, 11:27	2
10/18, 11:17	2
10/18, 11:07	3
10/18, 10:56	3
10/18, 10:46	3
10/18, 10:36	4
10/18, 10:26	9
10/18, 10:16	20
10/18, 10:06	19

Daily aggregate history

日期	Best daily position	Last daily position	Observations
2026-10-18	2	26	83
2026-10-19	23	30	17