← 返回情报台

原始观测记录 / Hacker News

Lean now ships with verified kernels

首次发现 10/18 10:06 · 最近观测 10/19 03:01 · 来源数据在有效期内

阅读原始来源 ↗

标题整理Lean now ships with verified kernels

为什么值得看该来源当前榜单中的讨论线索,可从原文核实细节;榜单排名不代表内容可靠性。

内容发布时间较早;采集成功不代表内容最新。

发布 10/16 14:16

30 分钟排名变化—

数据积累中

1 小时排名变化—

数据积累中

24 小时排名变化—

数据积累中

平台排名记录

100 次观测

数据积累中;不推测热度。

23010/18 10:06 · 19 位10/18 10:16 · 20 位10/18 10:26 · 9 位10/18 10:36 · 4 位10/18 10:46 · 3 位10/18 10:56 · 3 位10/18 11:07 · 3 位10/18 11:17 · 2 位10/18 11:27 · 2 位10/18 11:37 · 2 位10/18 11:47 · 2 位10/18 11:57 · 2 位10/18 12:07 · 2 位10/18 12:17 · 2 位10/18 12:27 · 2 位10/18 12:37 · 2 位10/18 12:47 · 3 位10/18 12:57 · 3 位10/18 13:07 · 3 位10/18 13:17 · 3 位10/18 13:27 · 3 位10/18 13:37 · 3 位10/18 13:47 · 3 位10/18 13:57 · 3 位10/18 14:07 · 3 位10/18 14:17 · 5 位10/18 14:27 · 5 位10/18 14:38 · 5 位10/18 14:48 · 6 位10/18 14:58 · 5 位10/18 15:08 · 5 位10/18 15:18 · 6 位10/18 15:28 · 6 位10/18 15:38 · 6 位10/18 15:48 · 6 位10/18 15:58 · 5 位10/18 16:08 · 5 位10/18 16:18 · 5 位10/18 16:28 · 5 位10/18 16:38 · 5 位10/18 16:48 · 5 位10/18 16:58 · 5 位10/18 17:08 · 5 位10/18 17:18 · 5 位10/18 17:28 · 5 位10/18 17:38 · 5 位10/18 17:48 · 6 位10/18 17:58 · 5 位10/18 18:08 · 5 位10/18 18:18 · 6 位10/18 18:29 · 6 位10/18 18:39 · 6 位10/18 18:49 · 6 位10/18 18:59 · 7 位10/18 19:09 · 7 位10/18 19:19 · 6 位10/18 19:29 · 9 位10/18 19:39 · 8 位10/18 19:49 · 8 位10/18 19:59 · 8 位10/18 20:09 · 8 位10/18 20:19 · 9 位10/18 20:29 · 9 位10/18 20:39 · 10 位10/18 20:49 · 10 位10/18 20:59 · 10 位10/18 21:09 · 10 位10/18 21:19 · 10 位10/18 21:29 · 10 位10/18 21:39 · 10 位10/18 21:49 · 10 位10/18 22:00 · 10 位10/18 22:10 · 12 位10/18 22:20 · 12 位10/18 22:30 · 12 位10/18 22:40 · 15 位10/18 22:50 · 15 位10/18 23:00 · 16 位10/18 23:10 · 18 位10/18 23:20 · 21 位10/18 23:30 · 23 位10/18 23:40 · 25 位10/18 23:50 · 26 位10/19 00:00 · 26 位10/19 00:10 · 24 位10/19 00:20 · 26 位10/19 00:30 · 23 位10/19 00:40 · 25 位10/19 00:50 · 25 位10/19 01:00 · 26 位10/19 01:10 · 27 位10/19 01:20 · 27 位10/19 01:30 · 27 位10/19 01:40 · 29 位10/19 01:51 · 28 位10/19 02:01 · 29 位10/19 02:11 · 27 位10/19 02:21 · 27 位10/19 02:31 · 30 位10/19 03:01 · 30 位10/18 10:0610/19 03:01
Official public API · linked titles only· 作者 matt_d
查看原始观测时间与位次
观测时间(北京时间)来源位次
10/19 03:0130
10/19 02:3130
10/19 02:2127
10/19 02:1127
10/19 02:0129
10/19 01:5128
10/19 01:4029
10/19 01:3027
10/19 01:2027
10/19 01:1027
10/19 01:0026
10/19 00:5025
10/19 00:4025
10/19 00:3023
10/19 00:2026
10/19 00:1024
10/19 00:0026
10/18 23:5026
10/18 23:4025
10/18 23:3023
10/18 23:2021
10/18 23:1018
10/18 23:0016
10/18 22:5015
10/18 22:4015
10/18 22:3012
10/18 22:2012
10/18 22:1012
10/18 22:0010
10/18 21:4910
10/18 21:3910
10/18 21:2910
10/18 21:1910
10/18 21:0910
10/18 20:5910
10/18 20:4910
10/18 20:3910
10/18 20:299
10/18 20:199
10/18 20:098
10/18 19:598
10/18 19:498
10/18 19:398
10/18 19:299
10/18 19:196
10/18 19:097
10/18 18:597
10/18 18:496
10/18 18:396
10/18 18:296
10/18 18:186
10/18 18:085
10/18 17:585
10/18 17:486
10/18 17:385
10/18 17:285
10/18 17:185
10/18 17:085
10/18 16:585
10/18 16:485
10/18 16:385
10/18 16:285
10/18 16:185
10/18 16:085
10/18 15:585
10/18 15:486
10/18 15:386
10/18 15:286
10/18 15:186
10/18 15:085
10/18 14:585
10/18 14:486
10/18 14:385
10/18 14:275
10/18 14:175
10/18 14:073
10/18 13:573
10/18 13:473
10/18 13:373
10/18 13:273
10/18 13:173
10/18 13:073
10/18 12:573
10/18 12:473
10/18 12:372
10/18 12:272
10/18 12:172
10/18 12:072
10/18 11:572
10/18 11:472
10/18 11:372
10/18 11:272
10/18 11:172
10/18 11:073
10/18 10:563
10/18 10:463
10/18 10:364
10/18 10:269
10/18 10:1620
10/18 10:0619
每日聚合历史
日期当日最佳位次当日最后位次观测次数
2026-10-1822683
2026-10-19233017